Principles of automated theorem proving
David A. Duffy
Bok Engelsk 1991 David A Duffy
| Utgitt | Chichester : Wiley , c1991
|
|---|---|
| Omfang | xviii, 243 s. : ill.
|
| Emner | Automatic theorem proving
Bevisføring - Databehandling (Matematikk) bevisteori symbolsk logikk logisk slutning deduksjon |
| ISBN | 0471927848
|
