Automated Reasoning - bib.howest.be

Automated Reasoning

Format:: e-book
Title:: Automated Reasoning
Author:: Galmiche; Roberto Sebastiani; Stephan Schulz; Schulz, Stephan; Sebastiani, Roberto
Language:: English
Publisher:: Springer International Publishing 2018
ISBN:: 3-319-94204-2
3-319-94205-0
Permalink:: http://bibtest.howest.be/catalog/ebk03:4100000005323110?locale=en