Automated Deduction – CADE 28: 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings: 12699 (Lecture Notes in Computer Science, 12699)

by André Platzer (Editor), Geoff Sutcliffe (Editor), André Platzer (Editor)

New
Paperback
2021
$45.36

$45.36

Quantity

10 in stock

More Information

Format: Paperback
Pages: 666
Edition: 1st ed. 2021
Publisher: Springer
Published: 30 Sep 2021
ISBN 10: 3030798755
ISBN 13: 9783030798758

Automated Deduction – CADE 28: 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings: 12699 (Lecture Notes in Computer Science, 12699)

New

$45.36

$45.36

More Information