Automated Deduction – CADE 26

Type:

e-book

Titel:

Automated Deduction – CADE 26

Auteur:

de Moura

Taal:

Engels

Uitgever:

Springer International Publishing 2017

ISBN:

3-319-63045-8
3-319-63046-6

Permalink:

http://bibtest.howest.be/catalog/ebk03:4340000000061633