Didier galmiche u a (2 risultati)
Altre immagini- Brossura
Da: preigu, Osnabrück, Germaniapreigu
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 46,85
EUR 70,00 spedizioneSpedito da Germania a U.S.A.Quantità: 5 disponibili
Taschenbuch. 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.
- Brossura
Da: preigu, Osnabrück, Germaniapreigu
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 50,45
EUR 70,00 spedizioneSpedito da Germania a U.S.A.Quantità: 5 disponibili
Taschenbuch. 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 9783319942…049 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
