Languages
Wansing, Heinrich.
Overview
Works: | 2 works in 1 publications in 1 languages |
---|
Titles
New Essays on Belnap-Dunn Logic
by:
Omori, Hitoshi.; SpringerLink (Online service); Wansing, Heinrich.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Dag Prawitz on Proofs and Meaning
by:
SpringerLink (Online service); Wansing, Heinrich.
(Language materials, printed)
, [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.
(Language materials, printed)
Towards mathematical philosophy : = papers from the studia logica conference trends in logic IV /
by:
Makinson, David.; Wansing, Heinrich.; Malinowski, Jacek.
(Language materials, printed)
Dag Prawitz on proofs and meaning
by:
SpringerLink (Online service); Wansing, Heinrich.; Prawitz, Dag.
(Language materials, printed)
Towards mathematical philosophy = papers from the Studia Logica Conference Trends in Logic IV /
by:
Makinson, David.; SpringerLink (Online service); Malinowski, Jacek.; Wansing, Heinrich.
(Language materials, printed)
Subjects
Mathematical logic.
Computer logic.
Mathematical Logic and Foundations..
Computational Linguistics.
Logic, Symbolic and mathematical
Prawitz, Dag.
Mathematics
Logic design.
Computational complexity
Computer Science.
Programming Techniques.
Logic.
Mathematical Logic and Formal Languages.
Mathematical Logic and Foundations.
Logics and Meanings of Programs.
Arithmetic and Logic Structures.
Philosophy.
Artificial intelligence
Artificial Intelligence (incl. Robotics)
Mathematics.
Logic, Symbolic and mathematical.