SUMMON Search
SEARCH ALL HEC DIGITAL LIBRARY RESOURCES

Quick Search :

RECORD DETAIL
Back To Previous  
Title Logic of programs
Edition
Call Number 011.6425 LOG
ISBN/ISSN 3-540-11160-3
Author(s) Engeler, Erwin - Personal Name
Subject(s) Computer Programs
Logic Symoblic and Mathematics
Classification 001.6425
Series Title Lecture Notes in Computer Science, vol.no.125
GMD Text
Language English
Publisher Springer Verlag
Publishing Year 1981
Publishing Place Berlin
Collation 245p
Abstract/Notes Workshop, ETH Zurich, May-July, 1979
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