Melvin Fitting Fitting First-Order Logic and Automated Theorem Proving

First-Order Logic and Automated Theorem Proving

von Melvin Fitting

Preis unbekannt

Buch in deiner Nähe kaufen


...oder deine aktuelle Postleitzahl eingeben:
oder

Beschreibung

Autor*in

Melvin Fitting

Stimmen zu »First-Order Logic and Automated Theorem Proving«

Details

ISBN: 9783540972334
Verlag: Springer Berlin
Erscheinung: 1990

Link teilen

Über buchnah.de | Die Buchhandlungen | Die Verlage | Impressum & Kontakt | Datenschutz | Presse


Auf dieser Seite kannst Du Buchhandlungen in der Nähe finden