Vista normal Vista MARC Vista ISBD

Duffy, David A.

Principles of automated theorem proving David A. Duffy. - Chichester New York Wiley c1991. - xviii, 243 p. 25 cm. - Wiley professional computing .

Includes bibliographical references (p. 225-232) and index.

ISBN: 0471927848 40.25 (U.S.)

LCCN: 91009103

Nat. Bib. No.: GB91-33735

Subjects--Topical Terms:
Automatic theorem proving.

Subjects--Index Terms: Mathematical logic

LC Class. No.: QA76.9.A96 / D84 1991

Dewey Class. No.: 511.3