Instantiation theory : on the foundations of automated deduction
J. G. Williams
Bok Engelsk 1991 James G. Williams
| Utgitt | Berlin : Springer-Verlag , c1991
|
|---|---|
| Omfang | VIII, 133 s.
|
| Emner | (Matematikk)
Automatic theorem proving Automatisk bevisføring : (NO-TrBIB)REAL009781 Bevisføring Vis mer... Bevisføring - Databehandling
Matematisk logikk - Databehandling atuomatisert bevisføring logisk slutning deduksjon ekspertsystemer unifikasjon språkvitenskap |
| ISBN | 0387543333. - 3540543333
|
