Languages
Wansing, Heinrich.
Overview
| Works: | 1 works in 2 publications in 1 languages | |
|---|---|---|
Titles
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)
(Electronic resources)
Towards mathematical philosophy = papers from the Studia Logica Conference Trends in Logic IV /
by:
Makinson, David.; Malinowski, Jacek.; SpringerLink (Online service); Wansing, Heinrich.
(Electronic resources)
Subjects
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