automatisk bevisföring
automatisk bevisföring, verksamheten att med en mer eller mindre allmän metod bevisa teorem inom en logisk eller matematisk teori med hjälp av datorer (vilket inte
(25 av 177 ord)
Vill du få tillgång till hela artikeln?
Medverkande
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).
Källangivelse
Nationalencyklopedin,
automatisk bevisföring.
http://www.ne.se/uppslagsverk/encyklopedi/lång/automatisk-bevisföring