SUMMON Search
SEARCH ALL HEC DIGITAL LIBRARY RESOURCES

Quick Search :

RECORD DETAIL
Back To Previous  
Title Symposium on automatic demonstration
Edition
Call Number 164 SYM
ISBN/ISSN
Author(s) Laudet, M. - Personal Name
Lacombe, D. - Personal Name
Nolin, L. ed.et.al. - Personal Name
Subject(s) Automatic Theorem Proving-Congresses
Classification 164
Series Title Lecture Notes in Mathematics, vol.no.125
GMD Text
Language English
Publisher Springer Verlag
Publishing Year 1970
Publishing Place Berlin
Collation 310p
Abstract/Notes
Specific Detail Info
Image
File Attachment
LOADING LIST...
Availability
LOADING LIST...
  Back To Previous




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