Uppslagsverket

automatisk bevisföring

Litteraturanvisning

D.W. Loveland, Automated Theorem Proving: A Logical Basis (1978);

Information om artikeln

Medverkande

Dag Prawitz

Källangivelse

Vill du komma åt hela artikeln?

Objektiv och pålitlig kunskap.
Prova det, du kommer att gilla det!
Marknadsledare i Sverige.

eller

Är du en lärare? Starta din kostnadsfria provperiod härifrån.