Custom cover image
Custom cover image

First Order Logic and Automated Theorem Proving

By: Language: English Series: Texts and Monographs in Computer SciencePublication details: New York : Springer-Verlag, c1990Description: XIII, 242 pISBN:
  • 0387972331
Subject(s): DDC classification:
  • 511.3 FIT
Online resources:
Holdings
Item type Current library Shelving location Call number Status Date due Barcode Item holds
Lending Collection Lending Collection Circulation Section Circulation Section 511.3 FIT Available 93343
Total holds: 0

Visit counter For Websites

Copyright © 
Engr Abul Kalam Library, NEDUET, 2024