Search

You searched for: Auteur Demri, Stéphane Remove constraint Auteur: Demri, Stéphane
1 entry found
Number of results to display per page

Search Results

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