Zoeken

U zocht naar: Auteur Pfenning, Frank Filter Auteur: Pfenning, Frank weghalen
1 - 3 van 3
Aantal zoekresultaten per pagina

Zoekresultaten

1. Automated Deduction – CADE-21
thumbnail
Full text!
Auteur:
Pfenning, Frank; Siekmann, Jörg
Uitgever:
Springer Berlin Heidelberg 2007
Type:
e-book
2. Term Rewriting and Applications
thumbnail
Full text!
Auteur:
Pfenning, Frank; Kanade, Takeo; Kittler, Josef
Uitgever:
Springer Berlin / Heidelberg 2006
Type:
e-book
3. Model Checking Software
thumbnail
Full text!
Auteur:
Carbonell, Jaime G.; Siekmann, Jörg; Edelkamp, Stefan; Pfenning, Frank
Uitgever:
Springer Berlin Heidelberg 2007
Type:
e-book