Automated Theorem Proving: After 25 Years

Cover
W. W. Bledsoe, Donald W. Loveland
American Mathematical Society, 31.12.1984 - 360 Seiten
0 Rezensionen

Was andere dazu sagen - Rezension schreiben

Es wurden keine Rezensionen gefunden.

Andere Ausgaben - Alle anzeigen

Verweise auf dieses Buch

Alle Ergebnisse von Google Books »

Bibliografische Informationen