Zoeken

U zocht naar: Auteur Hurd, Joe Filter Auteur: Hurd, Joe 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