Theorem Proving in Higher Order Logics
Mohamed, Otmane Ait.
Theorem Proving in Higher Order Logics 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings / [electronic resource] : edited by Otmane Ait Mohamed, César Muñoz, Sofiène Tahar. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2008. - v.: digital - Lecture Notes in Computer Science, 5170 0302-9743 ; .
9783540710677
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
Theorem Proving in Higher Order Logics 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings / [electronic resource] : edited by Otmane Ait Mohamed, César Muñoz, Sofiène Tahar. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2008. - v.: digital - Lecture Notes in Computer Science, 5170 0302-9743 ; .
9783540710677
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