Handbook of Automated Reasoning. 1.

Bok · Engelsk · 2001

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