Zoeken

U zocht naar: Auteur Galmiche, Didier; Larchey-Wendling, Dominique Filter Auteur: Galmiche, Didier; Larchey-Wendling, Dominique weghalen
1 Item gevonden
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