欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Web 3.0
来自开放百科 - 灰狐
Web 3.0,也就是如何将因特网转化为一个以 3D 为基础的虚拟世界,如何利用人工智能,如何将互联网转化为真正的语义网。
Web 3.0,或者说是语义网络(Semantic Web)
What to expect from Web 3.0 - http://blogs.zdnet.com/SAAS/?p=68
分享您的观点