Theorem Proving in Higher Order Logics

Hurd, Joe.

Theorem Proving in Higher Order Logics 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005. Proceedings / [electronic resource] : edited by Joe Hurd, Tom Melham. - Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005. - v.: digital - Lecture Notes in Computer Science, 3603 0302-9743 ; .

9783540318200


Computer science
Logic design
Software engineering
Artificial intelligence
Computer Science
Mathematical Logic and Formal Languages
Logics and Meanings of Programs
Software Engineering
Artificial Intelligence (incl. Robotics)
Logic Design