Zoeken

U zocht naar: Auteur Wenzel, Makarius Filter Auteur: Wenzel, Makarius weghalen
1 - 2 van 2
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
2. Intelligent Computer Mathematics
thumbnail
Full text!
Auteur:
Hutchison, David; Kanade, Takeo; Campbell, John; Carette, Jacques; Dos Reis, Gabriel; Sojka, Petr; Sorge, Volker; Wenzel, Makarius
Uitgever:
Springer Berlin Heidelberg 2012
Type:
e-book