Automated Reasoning – 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings
– Buch gebraucht, antiquarisch & neu kaufen
4 Treffer in
Bücher
gebraucht
Neuware
Dieses Bild ist kein Original-Foto des angebotenen Exemplars. Abweichungen sind möglich.
Automated Reasoning
Jasmin Blanchette
Springer International Publishing
, 17.07.2022, TaschenbuchISBN: 9783031107689
Neuware
Automated Reasoning
Springer International Publishing
, 2022, TaschenbuchISBN: 9783031107689
Zustand: leichte Gebrauchsspuren
29,52 €
versandkostenfrei
versandkostenfrei
Rabatt-Informationen
Der Verkäufer bietet die folgenden Rabatte:
Ab 40,00 € 10%
Ab 80,00 € 15%
Ab 160,00 € 20%
Gültig für alle Artikel außer neue Bücher.
Ab 40,00 € 10%
Ab 80,00 € 15%
Ab 160,00 € 20%
Gültig für alle Artikel außer neue Bücher.
wird gespeichert …
Dieses Bild ist kein Original-Foto des angebotenen Exemplars. Abweichungen sind möglich.
Automated Reasoning / 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings / Jasmin Blanchette (u. a.) / Taschenbuch / xv / Englisch / 2022
Jasmin Blanchette
Springer Nature Switzerland
, 2022, TaschenbuchISBN: 9783031107689
Neuware
Dieses Bild ist kein Original-Foto des angebotenen Exemplars. Abweichungen sind möglich.
Automated Reasoning
Herausgegeben:Blanchette, Jasmin; Kovács, Laura; Pattinson, Dirk
CADE / Springer / Springer International Publishing / Springer, Berlin
, SoftcoverISBN: 9783031107689
Neuware