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 Berlin Heidelberg, 2005. - digital. - Lecture Notes in Computer Science, 3603 0302-9743 ; . - Lecture Notes in Computer Science, 3603 .
9783540318200
10.1007/11541868 doi
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.
QA8.9-QA10.3
005.131
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 Berlin Heidelberg, 2005. - digital. - Lecture Notes in Computer Science, 3603 0302-9743 ; . - Lecture Notes in Computer Science, 3603 .
9783540318200
10.1007/11541868 doi
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.
QA8.9-QA10.3
005.131