Search

You searched for: Auteur Nipkow, Tobias Remove constraint Auteur: Nipkow, Tobias
1 - 2 of 2
Number of results to display per page

Search Results

1. FM 2006: Formal Methods
thumbnail
Full text!
Author:
Misra, Jayadev; Kanade, Takeo; Nipkow, Tobias; Sekerinski, Emil
Publisher:
Springer Berlin / Heidelberg 2006
Format:
e-book
2. Theorem Proving in Higher Order Logics
thumbnail
Full text!
Author:
Berghofer, Stefan; Kanade, Takeo; Nipkow, Tobias; Urban, Christian; Wenzel, Makarius
Publisher:
Springer Berlin Heidelberg 2009
Format:
e-book