First-order logic and automated theorem proving

Melvin Fitting
Bok Engelsk 1990


Utgitt	New York : Springer , 1990
Omfang	XIII, 242 s. : ill.
Emner	(Matematikk) Automatic theorem proving Logic, Symbolic and mathematical Automatisk bevisføring : (NO-TrBIB)REAL009781 Vis mer... Bevisføring - Databehandling matematisk logikk symbolsk
Dewey	511.3
ISBN	0387972331. - 3540972331

First-order logic and automated theorem proving
Melvin Fitting

Bok · Engelsk · 1996

Biblioteksøk