A resolution principle for a logic with restricted quantifiers
H.-J. Bürckert
Bok Engelsk 1991
| Utgitt | Berlin : Springer , c1991
|
|---|---|
| Omfang | X, 116 s. : ill.
|
| Emner | Automatisk bevisføring : (NO-TrBIB)REAL009781
Bevisføring Logikkprogrammering kunstig intelligens matematisk logikk |
| ISBN | 0387550348. - 3540550348
|
