×
![]( "Buchcover ISBN 9783540660866")
Automated Reasoning with Analytic Tableaux and Related Methods
International Conference, TABLEAUX'99, Saratoga Springs, NY, USA, June 7-11, 1999, Proceedings
herausgegeben von Neil V. MurrayIncludes supplementary material: sn. pub/extras
Automated Reasoning with Analytic Tableaux and Related Methods | International Conference, TABLEAUX'99, Saratoga Springs, NY, USA, June 7-11, 1999, Proceedings | ISBN 9783540660866
Automated Reasoning with Analytic Tableaux and Related Methods
International Conference, TABLEAUX'99, Saratoga Springs, NY, USA, June 7-11, 1999, Proceedings
herausgegeben von Neil V. MurrayISBN-Daten
Einband - flex.(Paperback)
Softcover
334 SeitenVerlag
Springer Berlinerschienen am
26.05.1999Sprache
EnglischRubrik
RobotikISBN-10
3-540-66086-0Abmessungen
23,5 x 15,5 cmLieferstatus
verfügbarPreis
53,49 €*Lokal-Verfügbarkeit
ca. 15 km um Moreno Valley
**Mit der Eingabe/Ermittlung der Standortdaten willigen Sie der Datenverarbeitung gemäß unserer Datenschutzerklärung ein.
Lokalverfügbarkeit (Karte)Ankaufspreise
Ankaufspreise ermittelnVeranstaltung eintragen
