Brigitte pientka u a (1 risultati)

Autore:

Perfeziona con la Ricerca avanzata

Automated Deduction - CADE 29 | 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings
Brigitte Pientka (u. a.)
Lingua: Inglese
Editore: Springer, 2023
3031384989 / 9783031384981
- Brossura
Da: preigu, Osnabrück, Germaniapreigu
Venditore con 5 stelle
Contatta il venditore
Condizione: Nuovo
EUR 41,45
EUR 70,00 spedizione
Spedito da Germania a U.S.A.
Quantità: 5 disponibili
Taschenbuch. Condizione: Neu. Automated Deduction - CADE 29 | 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings | Brigitte Pientka (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xxv | Englisch | 2023 | Springer | EAN 9783031384981 | Verantwortliche Person für die EU: Spri…