Automated Deduction - CADE 29 | 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings

Brigitte Pientka (u. a.)

ISBN 10: 3031384989 ISBN 13: 9783031384981
Editore: Springer, 2023
Lingua: Inglese
Condizione: Nuovo Brossura

Venduto da preigu, Osnabrück, Germania

Venditore AbeBooks dal 5 agosto 2024

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Visualizza gli articoli del venditore


Nuovi - Brossura

Condizione: Nuovo

Prezzo:
EUR 41,35
Spedizione EUR 70,00
Spedito da Germania a U.S.A.

Quantità: 5 disponibili

Aggiungere al carrello