Classical papers on computational logic 1957-1966

Bok · Engelsk · 1983

Utgitt	Berlin : Springer , 1983
Omfang	XII, 525 s.
Emner	Automatic theorem proving. Automatisk deduksjon : (NO-TrBIB)HUME04227 Kunstig intelligens : (NO-TrBIB)HUME04225 Matematisk logikk - Databehandling Vis mer... Symbolsk logikk : (NO-TrBIB)HUME00719 matematisk logikk
Dewey	511.3
ISBN	0387120432. - 3540120432