Automated Reasoning

Format:

e-book

Title:

Automated Reasoning

Author:

Stéphane Demri, Deepak Kapur, Christoph Weidenbach; Demri, Stéphane; Kapur, Deepak; Weidenbach, Christoph

Language:

English

Publisher:

Springer International Publishing 2014

ISBN:

3-319-08586-7
3-319-08587-5

Permalink:

http://bibtest.howest.be/catalog/ebk03:3710000000219386?locale=en