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
|