SUMMON Search
SEARCH ALL HEC DIGITAL LIBRARY RESOURCES

Quick Search :

Web Online Public Access Catalog - Use the search options to find documents quickly
Found 3 from your keywords:
Subject : "Automatic Theorem Proving"
Query took 2.97717 second(s) to complete
Symposium on automatic demonstration
Author(s) : Laudet, M. - Lacombe, D. - Nolin, L. ed.et.al. -
Edition :
Call Number : 164 SYM
Record Detail
Atutomated theorem proving
Author(s) : Loveland, Donald W. -
Edition :
Call Number : 001.535 LOV
Record Detail
Automated reasoning
Author(s) : Wos, Larry. -
Edition :
Call Number : 001.535 WOS
Record Detail




Select Language

Advanced Search

Title :
Author(s) :
  • SEARCHING...

Subject(s) :
  • SEARCHING...

Call # :
ISBN/ISSN :
GMD : Collection Type : Location :

Developed By

Computer Centre, Q.A.U