×
![]( "Buchcover ISBN 9783540697787")
Automated Reasoning with Analytic Tableaux and Related Methods
International Conference, TABLEAUX'98, Oisterwijk, The Netherlands, May 5-8, 1998, Proceedings
herausgegeben von Harrie de SwartIncludes supplementary material: sn. pub/extras
Automated Reasoning with Analytic Tableaux and Related Methods | International Conference, TABLEAUX'98, Oisterwijk, The Netherlands, May 5-8, 1998, Proceedings | ISBN 9783540697787
Automated Reasoning with Analytic Tableaux and Related Methods
International Conference, TABLEAUX'98, Oisterwijk, The Netherlands, May 5-8, 1998, Proceedings
herausgegeben von Harrie de SwartISBN-Daten
Digitalprodukt / E-Book
eBook, PDF
325 SeitenVerlag
Springer Berlinerschienen am
26.06.2003Sprache
EnglischRubrik
RobotikISBN-10
3-540-69778-0Reihe
Lecture Notes in Computer Science 1397Lieferstatus
verfügbarPreis
85,59 €*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)