![](/img/cover-not-exists.png)
[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 5674 ||
Berghofer, Stefan, Nipkow, Tobias, Urban, Christian, Wenzel, MakariusVolume:
10.1007/97
Year:
2009
Language:
english
DOI:
10.1007/978-3-642-03359-9
File:
PDF, 8.52 MB
english, 2009