Search UDS Library Collections


Image from Google Jackets

First-order logic and automated theorem proving / Melvin Fitting.

By: Material type: TextTextSeries: Texts and monographs in computer sciencePublication details: New York : Springer-Verlag, c1990.Description: xiii, 242 p. : ill. ; 24 cmISBN:
  • 0387972331 (alk. paper)
  • 3540972331
Subject(s): DDC classification:
  • 511.3 20
LOC classification:
  • QA76.9.A96 F31 1990
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Call number Status Date due Barcode
Books Books CKT-UTAS Library General Stacks QA76.9.A96 F31 (Browse shelf(Opens below)) Available NAV-51705000739

Includes bibliographical references (p. [233]-236) and index.

There are no comments on this title.

to post a comment.