Automated Deduction – CADE 28

Type:

e-book

Titel:

Automated Deduction – CADE 28

Auteur:

Platzer, André; Sutcliffe, Geoff

Taal:

Engels

Uitgever:

Springer International Publishing 2021

ISBN:

3-030-79875-5
3-030-79876-3

Permalink:

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