語系
Wansing, Heinrich.
概要
| 作品: | 0 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
New essays on Belnap-Dunn logic
by:
Omori, Hitoshi.; SpringerLink (Online service); Wansing, Heinrich.
(書目-電子資源)
Logics in artificial intelligence11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings /
by:
(1998 :); Holldobler, Steffen, (1957-); Lutz, Carsten.; SpringerLink (Online service); Wansing, H.; Wansing, Heinrich.
(書目-語言資料,印刷品)
Towards mathematical philosophypapers from the Studia Logica Conference Trends in Logic IV /
by:
Makinson, David.; Malinowski, Jacek.; SpringerLink (Online service); Wansing, Heinrich.
(書目-電子資源)
Dag Prawitz on proofs and meaning
by:
Prawitz, Dag.; SpringerLink (Online service); Wansing, Heinrich.
(書目-電子資源)
Recent trends in philosophical logic
by:
Ciuni, Roberto.; SpringerLink (Online service); Wansing, Heinrich.; Willkommen, Caroline.
(書目-電子資源)
主題
Artificial intelligence
Mathematical Logic and Formal Languages.
Logic.
Philosophy.
Mathematical Logic and Foundations.
Computer logic.
Mathematics
Logic, Symbolic and mathematical.
Logics and Meanings of Programs.
Artificial Intelligence (incl. Robotics)
Programming Techniques.
Mathematics.
Logic design.
Epistemology.
Prawitz, Dag.
Computational Linguistics.
Computer Science.
Logic, Symbolic and mathematical
Arithmetic and Logic Structures.
Entailment (Logic)
Mathematical Logic and Foundations..