[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 5674 || Packaging Mathematical Structures
Berghofer, Stefan, Nipkow, Tobias, Urban, Christian, Wenzel, MakariusVolume:
10.1007/97
Year:
2009
Language:
english
DOI:
10.1007/978-3-642-03359-9_23
File:
PDF, 267 KB
english, 2009