語系
Wansing, Heinrich.
概要
| 作品: | 2 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
New Essays on Belnap-Dunn Logic
by:
Omori, Hitoshi.; SpringerLink (Online service); Wansing, Heinrich.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Dag Prawitz on Proofs and Meaning
by:
SpringerLink (Online service); Wansing, Heinrich.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Logics in artificial intelligence = 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings /
by:
Wansing, H.; SpringerLink (Online service); JELIA 2008 ((2008 :); Lutz, Carsten.; Holldobler, Steffen, (1957-); Wansing, Heinrich.
(書目-語言資料,印刷品)
Towards mathematical philosophy : = papers from the studia logica conference trends in logic IV /
by:
Makinson, David.; Wansing, Heinrich.; Malinowski, Jacek.
(書目-語言資料,印刷品)
Dag Prawitz on proofs and meaning
by:
SpringerLink (Online service); Wansing, Heinrich.; Prawitz, Dag.
(書目-語言資料,印刷品)
Towards mathematical philosophy = papers from the Studia Logica Conference Trends in Logic IV /
by:
Makinson, David.; SpringerLink (Online service); Malinowski, Jacek.; Wansing, Heinrich.
(書目-語言資料,印刷品)
主題
Mathematical logic.
Computational Linguistics.
Programming Techniques.
Logic.
Mathematical Logic and Formal Languages.
Mathematical Logic and Foundations.
Logics and Meanings of Programs.
Artificial intelligence
Artificial Intelligence (incl. Robotics)
Mathematics.
Philosophy.
Computer logic.
Mathematical Logic and Foundations..
Prawitz, Dag.
Computer Science.
Logic, Symbolic and mathematical.
Logic, Symbolic and mathematical
Mathematics
Logic design.
Computational complexity
Arithmetic and Logic Structures.