Brigitte pientka u a (1 résultats)

Auteur:

Affiner les résultats avec une recherche avancée

Automated Deduction - CADE 29 | 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings
Brigitte Pientka (u. a.)
Langue : anglais
Edité par Springer, 2023
3031384989 / 9783031384981
- Couverture souple
Vendeur : preigu, Osnabrück, Allemagnepreigu
Vendeur avec une évaluation de 5 étoiles
Contacter le vendeur
Etat: Neuf
EUR 41,45
EUR 70,00 expédition
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 5 disponibles
Taschenbuch. Etat : 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: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…