Automated Deduction - CADE 26: 26th International Conference on Automated Deduction, Gothenburg, Sw…
von Leonardo de (Ed.), Moura Verlag: Springer International Publishing
2017 XI, 582 Seiten Broschiert Lecture Notes in Artificial Intelligence, Band 10395. Zust: Gutes Exemplar. Mit Vorbesitzereintrag.
gebraucht
Anbieter: Antiquariat Bernhardt, Kassel, Deutschland
Neuware
Automated Deduction ¿ CADE 26 - 26th International Conference on Automated Deduction, Gothenburg,…
2017 Kartoniert, 596 Seiten, 235mm x 155mm x 32mm, Sprache(n): eng Includes supplementary material: sn.pub/extrasThis book constitutes the proceeding of the 26th International Conference on Automated Deduction, CADE-26, held in Gothenburg, Sweden, in August 2017. The 26 full papers and 5 system…
Neuware
Anbieter: MARZIES Buch- und Medienhandel, Schönwalde-Glien, Deutschland
97,42 EUR
Kostenloser Versand
Nichts passendes gefunden?
- ISBN / EAN
- 9783319630458
Link zur Suche kopieren
Speichern Sie Ihre Suche als Auftrag für einen späteren Zeitpunkt und lassen Sie sich bei neu eintreffenden Artikeln automatisch per E-Mail benachrichtigen (optional)!