Logic for computer science : foundations of automatic theorem proving

Jean H. Gallier
Bok · Engelsk · 1987

Utgitt	New York : Wiley , c1987
Omfang	xv, 511 s. : fig.
Emner	Automatic theorem proving. Logic, Symbolic and mathematical. Automatisk bevisføring : (NO-TrBIB)REAL009781 Bevisføring : (NO-TrBIB)REAL009781 Vis mer... Formelle språk Logikkprogrammering : (NO-TrBIB)REAL009516 Matematisk logikk symbolsk logikk logikkprogrammering bevisteori
ISBN	0471615463