Platzer andre editor sutcliffe geoff editor (1 risultati)

Autore:

Automated Deduction Cade 28: 28th International Conference on Automated Deduction, Virtual Event, July 1215, 2021, Proceedings
Platzer, Andre (Editor)/ Sutcliffe, Geoff (Editor)
Lingua: Inglese
Editore: Springer-Nature New York Inc, 2021
3030798755 / 9783030798758
- Brossura
Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books
Venditore con 5 stelle
Contatta il venditore
Condizione: Nuovo
EUR 79,21
EUR 14,64 spedizione
Spedito da Regno Unito a U.S.A.
Quantità: 2 disponibili
Paperback. Condizione: Brand New. 650 pages. 9.25x6.10x1.34 inches. In Stock.
Scopri altri titoli di Andre Platzer
Scopri le opere pubblicate e le offerte di articoli da collezione.Scopri Andre Platzer

Automated Deduction Cade 28: 28th International Conference on Automated Deduction, Virtual Event, July 1215, 2021, Proceedings