[Lecture Notes in Computer Science] Mach
✍
Perner, Petra; Imiya, Atsushi
📂
Article
📅
2005
🏛
Springer Berlin Heidelberg
🌐
German
⚖ 285 KB
We Met Again In Front Of The Statue Of Gottfried Wilhelm Von Leibniz In The City Of Leipzig. Leibniz, A Famous Son Of Leipzig, Planned Automatic Logical Inference Using Symbolic Computation, Aimed To Collate All Human Knowledge. Today, Artificial Intelligence Deals With Large Amounts Of Data And Kno