Handbook of Automated Reasoning. 2.

Bok · Engelsk · 2001

Utgitt	Amsterdam : London : Elsevier , 2001
Omfang	XXV, S. 963-2122
Emner	Automatisk bevisføring : (NO-TrBIB)REAL009781 Automatisk resonnering Førsteordens logikk Induktiv logikk Vis mer... Omskrivning Teorembevisføring
Dewey	006.333
ISBN	0444508120. - 0444508139