語系
Wansing, Heinrich.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Logics in artificial intelligence = 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings /
by:
Wansing, H.; Lutz, Carsten.; Holldobler, Steffen, (1957-); Wansing, Heinrich.; Congress on Progress and Controversies in Oncological Urology (2000:); SpringerLink (Online service)
(書目-電子資源)
Towards mathematical philosophy = papers from the Studia Logica Conference Trends in Logic IV /
by:
Makinson, David.; Malinowski, Jacek.; SpringerLink (Online service); Wansing, Heinrich.
(書目-電子資源)
主題
Artificial intelligence
Artificial Intelligence (incl. Robotics)
Mathematics- Philosophy
Computer Science.
Programming Techniques.
Mathematics.
Logic.
Mathematical Logic and Foundations..
Mathematical Logic and Formal Languages.
Computational Linguistics.
Arithmetic and Logic Structures.
Logic, Symbolic and mathematical