Language:
English
日文
簡体中文
繁體中文
Help
Login
Jump To :
Overview
Titles
Subjects
Reasoning - Technique.
Overview
Works:
1 works in 0 publications in 0 languages
Titles
Mechanizing Mathematical Reasoning[electronic resource] :Essays in Honor of Jorg H. Siekmann on the Occasion of His 60th Birthday /
by:
(Electronic resources)
Subjects
Mathematical Logic and Formal Languages.
Mathematical Logic and Foundations.
Software Engineering.
Logic, Symbolic and mathematical.
Artificial Intelligence (incl. Robotics)
Automatic theorem proving.
Reasoning
Computer Science.
Processing
...
Change password
Login