Automated Reasoning

Format:

e-book

Title:

Automated Reasoning

Author:

Nicola Olivetti, Ashish Tiwari; Tiwari, Ashish

Language:

English

Publisher:

Springer International Publishing 2016

ISBN:

3-319-40228-5
3-319-40229-3

Permalink:

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