First-order logic and automated theorem proving / Melvin Fitting.
Material type:
TextSeries: Texts and monographs in computer sciencePublication details: New York : Springer-Verlag, c1990.Description: xiii, 242 p. : ill. ; 24 cmISBN: - 0387972331 (alk. paper)
- 3540972331
- 511.3 20
- QA76.9.A96 F31 1990
| Item type | Current library | Call number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|
Books
|
CKT-UTAS Library General Stacks | QA76.9.A96 F31 (Browse shelf(Opens below)) | Available | NAV-51705000739 |
Browsing CKT-UTAS Library shelves, Shelving location: General Stacks Close shelf browser (Hides shelf browser)
| QA76.9.A73 K51 The architecture of symbolic computers / | QA76.9.A73 P11 Computer architecture : | QA76.9.A73 P21 Machine Organization : | QA76.9.A96 F31 First-order logic and automated theorem proving / | QA76.9.C55 R21 Microsoft Exchange Server for Windows 2000 : | QA76.9.C55 R22 Microsoft Exchange Server for Windows 2000 : | QA76.9.C55 R23 Microsoft Exchange Server for Windows 2000 : |
Includes bibliographical references (p. [233]-236) and index.
There are no comments on this title.
Log in to your account to post a comment.