Vista normal Vista MARC Vista ISBD

Fitting, Melvin, 1942-

First-order logic and automated theorem proving / Melvin Fitting - 2nd ed. - xvi, 326 páginas : ilustraciones ; - Graduate texts in computer science . - Graduate texts in computer science (Springer-Verlag New York Inc.) .

Includes bibliographical references (p. [315]-318) and index.

ISBN: 0387945938 (Nueva York : papel alcalino)

Subjects--Topical Terms:
Demostración automática de teoremas
Lógica simbólica y matemática

LC Class. No.: QA76.9A96 / F57 1996

Dewey Class. No.: 511.3