Zoeken

U zocht naar: Auteur Stéphane Demri, Deepak Kapur, Christoph Weidenbach Filter Auteur: Stéphane Demri, Deepak Kapur, Christoph Weidenbach weghalen
1 Item gevonden
Aantal zoekresultaten per pagina

Zoekresultaten

1. Automated Reasoning
thumbnail
Full text!
Auteur:
Stéphane Demri, Deepak Kapur, Christoph Weidenbach; Demri, Stéphane; Kapur, Deepak; Weidenbach, Christoph
Uitgever:
Springer International Publishing 2014
Type:
e-book