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

Gespeichert in:
1. Verfasser:
Berghofer, Stefan
Format:
Elektronisch E-Book
Veröffentlicht:
Berlin, Heidelberg Springer Berlin Heidelberg 2009
ISBN:
9783642033599
ISSN:
0302-9743
Schlagworte:
Computational complexity
Computer science
Computer software
Logic design
Bezugswerke:
Links: