Brigitte pientka u a (1 resultados)

Autor:

Refinar con la Búsqueda avanzada

Automated Deduction - CADE 29 | 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings
Brigitte Pientka (u. a.)
Idioma: Inglés
Editorial: Springer, 2023
3031384989 / 9783031384981
- Tapa blanda
Librería: preigu, Osnabrück, Alemaniapreigu
Vendedor de 5 estrellas
Contactar con el vendedor
Condición: Nuevo
EUR 41,45
Envío por EUR 70,00
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 5 disponibles
Taschenbuch. Condición: 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: Sprin…