First-order logic and automated theorem proving

Melvin Fitting
Bok Engelsk 1996


Utgitt	New York : Springer , c1996
Omfang	XVI, 326 s. : ill.
Utgave	2nd ed.
Emner	Automatisk bevisføring : (NO-TrBIB)REAL009781 Bevisføring - Databehandling (Matematikk)
ISBN	0387945938

First-order logic and automated theorem proving
Melvin Fitting

Bok · Engelsk · 1990

Biblioteksøk