Zoeken

U zocht naar: Auteur Melham, Tom Filter Auteur: Melham, Tom weghalen Fulltext online Filter Fulltext: online weghalen
1 Item gevonden
Aantal zoekresultaten per pagina

Zoekresultaten

1. Theorem Proving in Higher Order Logics
thumbnail
Full text!
Auteur:
Hurd, Joe; Kanade, Takeo; Melham, Tom F.; Melham, Tom; Kittler, Josef
Uitgever:
Springer Berlin / Heidelberg 2005
Type:
e-book