Normal view MARC view ISBD view

First-order logic and automated theorem proving /

Fitting, Melvin, 1942-

First-order logic and automated theorem proving / Melvin Fitting. - 2nd ed. - Springer, c1996. - xvi, 326 p. : ill. ; 25 cm. - 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

Subjects--Topical Terms:
Automatic theorem proving.
Logic, Symbolic and mathematical.

Subjects--Index Terms: საინფორმაციო ტექნოლოგიები კომპიუტერული ტექნოლოგიები სიმბოლური ლოგიკა მათემატიკური ლოგიკა

Dewey Class. No.: 511.3

Universal Decimal Class. No.: 004

Place hold
Print
Add to your cart (remove)
Suggest for purchase
Save record
BIBTEX Dublin Core ISBD MARC (non-Unicode/MARC-8) MARCXML MODS (XML) RIS MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard)
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com) CERL Thesaurus author search Author search in ORCID registry Wikipedia author search ავტორის ძიება ეროვნ. ბიბლიოთეკაში (NPLG) VIVO beta search for author საქპატენტი. გამოგონების ძიება ძიება თსუს ბიბლიოთეკებში

National Science Library of Georgia

First-order logic and automated theorem proving /