Zoeken

U zocht naar: Auteur Waaler, Arild Filter Auteur: Waaler, Arild weghalen Fulltext online Filter Fulltext: online weghalen
1 Item gevonden
Aantal zoekresultaten per pagina

Zoekresultaten

1. Automated Reasoning with Analytic Tableaux and Related Methods
thumbnail
Full text!
Auteur:
Giese, Martin; Kanade, Takeo; Waaler, Arild; Kittler, Josef
Uitgever:
Springer Berlin Heidelberg 2009
Type:
e-book