Geoff Platzer, André - Böcker

Visar alla böcker från författaren Geoff Platzer, André.

1 produkt

Kategorier

1 produkt

Del 12699

Del 12699 - Lecture Notes in Computer Science

Automated Deduction – CADE 28

28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings

AvAndré Platzer,Geoff Sutcliffe,Andre Platzer,Geoff Platzer, André

Häftad, Engelska, 2021

579 kr

Skickas inom 10-15 vardagar