Litteraturanvisning
D.W. Loveland,
Automated Theorem Proving: A Logical Basis (
1978);
J. Siekmann & G. Wrightson,
Automation of Reasoning 1, Classical Papers on Computational Logic 1957–1966, 1 (
1983).
Vill du få tillgång till hela artikeln?
Källangivelse
Nationalencyklopedin,
Litteraturanvisning.
http://www.ne.se/uppslagsverk/encyklopedi/lång/automatisk-bevisföring/litteraturanvisning