Finde das Produkt,
das wirklich zu dir passt.

Name: First-Order Logic and Automated Theorem Proving
Brand: Springer
SKU: 4022077

Produkte, Preise, Versand und Händler in einer klaren Suche.

● freigeschaltete Partnerprogramme● Versand und Kosten sichtbar● Bewertungen nur mit Herkunft

AKTUELLE PARTNERANGEBOTE

First-Order Logic and Automated Theorem Proving

First-Order Logic and Automated Theorem Proving. Melvin Fitting. Taschenbuch. Taschenbuch

1 Angebote · ab 96,49 € gemeldete Gesamtkosten