Automation of reasoning. 2. Classical papers on computational logic 1967-1970

Bok · Engelsk · 1983

Utgitt	Berlin : Springer , 1983
Omfang	XII, 637 s.
Emner	Automatic theorem proving. Automatisk deduksjon Matematisk logikk - Databehandling Symbolsk logikk matematisk logikk
Dewey	511.3
ISBN	0387120440. - 3540120440