Reading Length
Home
Speed Tests
Login
Manfred Kerber
Identifiers
Open Library
OL7557988A
Top Subjects
Artificial intelligence (2)
Logics and Meanings of Programs (1)
Computer science (1)
Programming Techniques (1)
Artificial Intelligence (incl. Robotics) (1)
Mathematical Logic and Formal Languages (1)
Logic design (1)
Books by Manfred Kerber
Total count: 5
Computational Logic CL 2000 00
First International Conference London, UK, July 2428, 2000 Proceedings
Springer-Verlag Berlin Heidelberg
2000-01-01
Symbolic Computation and Automated Reasoning
The CALCULEMUS-2000 Symposium
CRC Press LLC
2001-01-01
Towards Mechanized Mathematical Assistants
14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007, Proceedings
Springer London, Limited
2007-01-01
Intelligent Computer Mathematics
International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings
Springer
2015-01-01
Intelligent Computer Mathematics
16th International Conference, CICM 2023, Cambridge, UK, September 4-8, 2023, Proceedings
Springer
2023-01-01
