Theorem Proving in Higher Order Logics 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings

Theorem Proving in Higher Order Logics 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings

Bibliographic Details
Published in:Springer e-books
Main Author: Hurd, Joe
Corporate Author: SpringerLink (Online service)
Other Authors: Melham, Tom
Format: eBook
Language:English
Published: Berlin Heidelberg : Springer-Verlag GmbH., 2005
Series:Lecture Notes in Computer Science,
Subjects:
Artificial intelligence
Computer Science
Logic design
Software engineering
Artificial Intelligence (incl. Robotics)
Logic Design
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Software Engineering
Online Access:http://dx.doi.org/10.1007/11541868
Перейти в каталог НБ ТГУ

Internet

http://dx.doi.org/10.1007/11541868
Перейти в каталог НБ ТГУ

Similar Items