×
![]( "Buchcover ISBN 9783540662228")
Automated Deduction - CADE-16
16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings
herausgegeben von Harald GanzingerIncludes supplementary material: sn. pub/extras
Automated Deduction - CADE-16 | 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings | ISBN 9783540662228
Automated Deduction - CADE-16
16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings
herausgegeben von Harald GanzingerISBN-Daten
Einband - flex.(Paperback)
Softcover
438 Seiten1999
1Verlag
Springer Berlinerschienen am
23.06.1999Sprache
EnglischRubrik
RobotikISBN-10
3-540-66222-7ISBN-13
978-3-540-66222-8Abmessungen
23,5 x 15,5 cmLieferstatus
verfügbarPreis
53,49 €*Lokal-Verfügbarkeit
ca. 15 km um Ort
**Mit der Eingabe/Ermittlung der Standortdaten willigen Sie der Datenverarbeitung gemäß unserer Datenschutzerklärung ein.
Lokalverfügbarkeit (Karte)Ankaufspreise
Ankaufspreise ermittelnVeranstaltung eintragen
