Search

You searched for: Auteur Weidenbach, Christoph Remove constraint Auteur: Weidenbach, Christoph
1 - 2 of 2
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
2. Programming Logics
thumbnail
Full text!
Author:
Hutchison, David; Kanade, Takeo; Kittler, Josef; Kittler, Josef; Weidenbach, Christoph
Publisher:
Springer Berlin Heidelberg 2013
Format:
e-book