Zoeken

U zocht naar: Auteur Felty Filter Auteur: Felty weghalen
1 - 2 van 2
Aantal zoekresultaten per pagina

Zoekresultaten

1. Automated Deduction - CADE-25
thumbnail
Full text!
Auteur:
Felty; Middeldorp, Aart
Uitgever:
Springer International Publishing 2015
Type:
e-book
2. Interactive Theorem Proving
thumbnail
Full text!
Auteur:
Hutchison, David; Kanade, Takeo; Felty, Amy; Kittler, Josef
Uitgever:
Springer Berlin Heidelberg 2012
Type:
e-book