SUMMON Search
SEARCH ALL HEC DIGITAL LIBRARY RESOURCES


Quick Search :

Web Online Public Access Catalog - Use the search options to find documents quickly
Found 2 from your keywords:
Author : "Kozen, Dexter"
Query took 3.4567 second(s) to complete
Theory of computation
Author(s) : Kozen, Dexter C. -
Edition :
Call Number : 519.4 KOS
Dynamic logic
Author(s) : Harel, David - Tiuryn, Jerzy - Kozen, Dexter -
Edition :
Call Number : 004.015113 HAR




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