AKTUELLE PARTNERANGEBOTE

Automated Deduction in Classical and Non-Classical Logics: Selected Papers (Lecture Notes in Computer Science)

Name: Automated Deduction in Classical and Non-Classical Logics: Selected Papers (Lecture Notes in Computer Science)
Brand: Ricardo Caferra
SKU: 8952095

Binding : Taschenbuch, Edition : 2000, Label : Springer Berlin Heidelberg, Publisher : Springer Berlin Heidelberg, NumberOfItems : 3, medium : Taschenbuch, numberOfPages : 312, publicationDate : 2008-10-10, publishers : Ricardo Caferra, languages : english, ISBN : 3540671900

1 Angebote · ab 53,49 € gemeldete Gesamtkosten

Finde das Produkt,das wirklich zu dir passt.

Automated Deduction in Classical and Non-Classical Logics: Selected Papers (Lecture Notes in Computer Science)

Finde das Produkt,
das wirklich zu dir passt.