Zoeken

U zocht naar: Auteur Giesl, Jürgen Filter Auteur: Giesl, Jürgen weghalen
1 - 2 van 2
Aantal zoekresultaten per pagina

Zoekresultaten

1. Automated Reasoning
thumbnail
Full text!
Auteur:
Giesl, Jürgen; Hähnle, Reiner; Kanade, Takeo
Uitgever:
Springer Berlin Heidelberg 2010
Type:
e-book
2. Term Rewriting and Applications
thumbnail
Full text!
Auteur:
Giesl, Jürgen; Kanade, Takeo; Kittler, Josef
Uitgever:
Springer Berlin / Heidelberg 2005
Type:
e-book