First-order logic and automated theorem proving / Melvin Fitting.
Material type:![Text](/opac-tmpl/lib/famfamfam/BK.png)
- 0387945938
- 511.3
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.
Log in to your account to post a comment.