Zoeken

U zocht naar: Auteur Urban, Christian Filter Auteur: Urban, Christian weghalen Taal Engels Filter Taal: Engels weghalen
1 Item gevonden
Aantal zoekresultaten per pagina

Zoekresultaten

1. Theorem Proving in Higher Order Logics
thumbnail
Full text!
Auteur:
Berghofer, Stefan; Kanade, Takeo; Nipkow, Tobias; Urban, Christian; Wenzel, Makarius
Uitgever:
Springer Berlin Heidelberg 2009
Type:
e-book