Theorem Proving in Higher Order Logics [electronic resource] : 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings / edited by Stefan Berghofer, Tobias Nipkow, Christian Urban, Makarius Wenzel.
By: Berghofer, Stefan.
Contributor(s): Nipkow, Tobias | Urban, Christian | Wenzel, Makarius | SpringerLink (Online service).
Material type:
BookSeries: Lecture Notes in Computer Science, 5674.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Description: digital.ISBN: 9783642033599.Subject(s): Computer science | Computer software | Logic design | Computational complexity | Computer Science | Mathematical Logic and Formal Languages | Logics and Meanings of Programs | Mathematics of Computing | Discrete Mathematics in Computer Science | Algorithm Analysis and Problem Complexity | Models and PrinciplesDDC classification: 005.131 Online resources: Click here to access online
In:
Springer eBooks
No physical items for this record
There are no comments for this item.