Zoeken

U zocht naar: Auteur Brünnler, Kai Filter Auteur: Brünnler, Kai weghalen
1 Item gevonden
Aantal zoekresultaten per pagina

Zoekresultaten

1. Automated Reasoning with Analytic Tableaux and Related Methods
thumbnail
Full text!
Auteur:
Brünnler, Kai; Kanade, Takeo; Metcalfe, George
Uitgever:
Springer Berlin Heidelberg 2011
Type:
e-book