National Science Library of Georgia

Image from Google Jackets

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

By: Material type: TextTextLanguage: English Series: Graduate texts in computer science | Graduate texts in computer science (Springer-Verlag New York Inc.)Publication details: New York : Springer, c1996.Edition: 2nd edDescription: xvi, 326 p. : ill. ; 25 cmISBN:
  • 0387945938
Subject(s): DDC classification:
  • 511.3
List(s) this item appears in: Springer series
Tags from this library: No tags from this library for this title. Log in to add tags.
Holdings
Item type Current library Call number Copy number Status Date due Barcode
წიგნი წიგნი ეროვნული სამეცნიერო ბიბლიოთეკა 1 საცავი. 1 კორპ. 004 F-48 (Browse shelf(Opens below)) 3E21509 Available 2010-60974

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

There are no comments on this title.

to post a comment.
Copyright © 2023 Sciencelib.ge All rights reserved.