Zoeken

U zocht naar: Auteur Brandt, Jens Filter Auteur: Brandt, Jens weghalen
1 Item gevonden
Aantal zoekresultaten per pagina

Zoekresultaten

1. Theorem Proving in Higher Order Logics
thumbnail
Full text!
Auteur:
Schneider, Klaus; Brandt, Jens; Kanade, Takeo; Kittler, Josef
Uitgever:
Springer Berlin Heidelberg 2007
Type:
e-book