Da: preigu, Osnabrück, Germania
EUR 46,85
Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Automated Reasoning with Analytic Tableaux and Related Methods | 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings | Didier Galmiche (u. a.) | Taschenbuch | x | Englisch | 2013 | Springer | EAN 9783642405365 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Da: preigu, Osnabrück, Germania
EUR 50,40
Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. 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.) | Taschenbuch | Lecture Notes in Computer Science | xviii | Englisch | 2018 | Springer | EAN 9783319942049 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.