Automated Theorem Proving: After 25 YearsW. W. Bledsoe, Donald W. Loveland American Mathematical Society, 31.12.1984 - 360 Seiten |
Andere Ausgaben - Alle anzeigen
Automated Theorem Proving: After 25 Years: After 25 Years W. W. Bledsoe,American Mathematical Society. Meeting Eingeschränkte Leseprobe - 1984 |
Verweise auf dieses Buch
Logic-Based Decision Support: Mixed Integer Model Formulation R.G. Jeroslow Eingeschränkte Leseprobe - 1989 |
Agent-Oriented Programming: From Prolog to Guarded Definite ..., Ausgabe 1630 Matthew M. Huntbach,Graem A. Ringwood Keine Leseprobe verfügbar - 1999 |