Automated Theorem Proving: Theory and Practice
Springer (9781461265191) | Theory and, Automated Theorem Proving
Preis von (4 Angebote)120.34 EUR
Weitere Informationen
Vieweg+Teubner Verlag (9783528085209) | Automated Theorem Proving
Springer (9781461265191) | Theory and, Automated Theorem Proving
Springer (9781461275152)
Springer (9780387950754) | Theory and, Automated Theorem Proving