Automated Reasoning – 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings
– Buch gebraucht, antiquarisch & neu kaufen
6 Treffer in
Bücher
gebraucht
Neuware
Dieses Bild ist kein Original-Foto des angebotenen Exemplars. Abweichungen sind möglich.
Automated Reasoning
Didier Galmiche
Springer International Publishing
, 01.07.2018, TaschenbuchISBN: 9783319942049
Neuware
Dieses Bild ist kein Original-Foto des angebotenen Exemplars. Abweichungen sind möglich.
Automated Reasoning
Galmiche, Didier Schulz, Stephan Sebastiani, Roberto
Springer International Publishing
, 2018, Kartoniert / BroschiertISBN: 9783319942049
Neuware
Dieses Bild ist kein Original-Foto des angebotenen Exemplars. Abweichungen sind möglich.
Automated Reasoning / 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings / Didier Galmiche (u. a.)
Didier Galmiche
Springer Nature Switzerland
, 2018, TaschenbuchISBN: 9783319942049
Neuware
Dieses Bild ist kein Original-Foto des angebotenen Exemplars. Abweichungen sind möglich.
Automated Reasoning
Didier Galmiche
Springer International Publishing
, 01.07.2018, TaschenbuchISBN: 9783319942049
Neuware
Dieses Bild ist kein Original-Foto des angebotenen Exemplars. Abweichungen sind möglich.
Automated Reasoning
Herausgegeben:Galmiche, Didier; Schulz, Stephan; Sebastiani, Roberto
Springer / Springer International Publishing / Springer, Berlin
, SoftcoverISBN: 9783319942049
Neuware
Dieses Bild ist kein Original-Foto des angebotenen Exemplars. Abweichungen sind möglich.
Automated Reasoning: 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17,2018, Proceedings (Lecture Notes in Artificial Intelligence, Band 10900).
Galmiche, Didier; Schulz, Stephan; Sebastiani, Roberto
Springer International Publishing 2018
ISBN: 9783319942049
Zustand: gebraucht; sehr gut