Search:

Type:

Format:

Library:

Theorem Proving in Higher Order Logics 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings Cover Image

E-book

E-book

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.

Berghofer, Stefan. (editor.). Nipkow, Tobias. (editor.). Urban, Christian. (editor.). Wenzel, Makarius. (editor.). SpringerLink (Online service) (Added Author).

Record details

ISBN: 9783642033599
Physical Description: online resource.
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Search for related items by subject

Subject:

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 Principles.

Search for related items by series

Add to basket Print Email Permalink Enable Highlighting

Electronic resources

► Awards, Reviews, & Suggested Reads

► Shelf Browser

► MARC Record