Zoeken

U zocht naar: Auteur Galmiche Filter Auteur: Galmiche weghalen Taal Engels Filter Taal: Engels weghalen
1 - 2 van 2
Aantal zoekresultaten per pagina

Zoekresultaten

1. Automated Reasoning with Analytic Tableaux and Related Methods
thumbnail
Full text!
Auteur:
Galmiche, Didier; Larchey-Wendling, Dominique; Larchey-Wendling, Dominique
Uitgever:
Springer Berlin Heidelberg 2013
Type:
e-book
2. Automated Reasoning
thumbnail
Full text!
Auteur:
Galmiche; Roberto Sebastiani; Stephan Schulz; Schulz, Stephan; Sebastiani, Roberto
Uitgever:
Springer International Publishing 2018
Type:
e-book