Languages
Wansing, Heinrich.
Overview
| Works: | 1 works in 3 publications in 1 languages | |
|---|---|---|
Titles
Dag Prawitz on proofs and meaning
by:
Wansing, Heinrich.; SpringerLink (Online service)
(Electronic resources)
Towards mathematical philosophy = papers from the Studia Logica Conference Trends in Logic IV /
by:
Malinowski, Jacek.; Wansing, Heinrich.; SpringerLink (Online service); Makinson, David.
(Language materials, printed)
New essays on Belnap-Dunn logic
by:
Wansing, Heinrich.; SpringerLink (Online service); Omori, Hitoshi.
(Electronic resources)
Recent trends in philosophical logic
by:
Ciuni, Roberto.; Wansing, Heinrich.; Willkommen, Caroline.; SpringerLink (Online service)
(Electronic resources)
Logics in artificial intelligence = 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings /
by:
Holldobler, Steffen, (1957-); Lutz, Carsten.; Wansing, H.; Wansing, Heinrich.; SpringerLink (Online service); JELIA 2008 ((2008 :)
(Language materials, printed)
Subjects
Artificial intelligence
Mathematical Logic and Formal Languages.
Logic.
Philosophy.
Mathematical Logic and Foundations.
Computer logic.
Logic, Symbolic and mathematical.
Logics and Meanings of Programs.
Artificial Intelligence (incl. Robotics)
Programming Techniques.
Mathematics.
Logic design.
Logic, Symbolic and mathematical- Congresses.
Epistemology.
Prawitz, Dag.
Computational Linguistics.
Computer Science.
Arithmetic and Logic Structures.
Entailment (Logic)
Mathematics- Philosophy
Mathematical Logic and Foundations..