×
![]( "Buchcover ISBN 9783540487548")
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 9783540487548
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
Digitalprodukt / E-Book
eBook, PDF
334 SeitenVerlag
Springer Berlinerschienen am
31.07.2003Sprache
EnglischRubrik
RobotikISBN-10
3-540-48754-9Reihe
Lecture Notes in Computer Science 1617Lieferstatus
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)