automatisk bevisföring
Litteraturanvisning
D.W. Loveland, Automated Theorem Proving: A Logical Basis (1978);
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.