Nicht aus der Schweiz? Besuchen Sie lehmanns.de

Erweiterte
Suche

Frage zu Artikel "First-Order Logic and Automated Theorem Proving"

ISBN: 978-1-4612-2360-3
Titel: First-Order Logic and Automated Theorem Proving
von: Melvin Fitting

Anrede:

Vorname:

Name*:

Email-Adresse*:

Telefon-Nummer:

Frage:

Kopie als Email erwünscht?