Your search returned 6 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
Cover image
First Order Logic and Automated Theorem Proving by
  • Fitting, Melvin [author]
Series: Texts and Monographs in Computer Science
Material type: Text Text
Language: English
Publication details: New York : Springer-Verlag, c1990
Online access:
Availability: Items available for loan: Circulation Section (1)Location, call number: Circulation Section 511.3 FIT.
Place hold
Pages
Visit counter For Websites

Copyright © Engr Abul Kalam Library, NEDUET, 2024