EXECUTING TEMPORAL LOGIC PROGRAMS
By: Moszkowski, B. C.
Material type:
BookPublisher: Cambridge Cambridge Univ. Pr. 1986Description: 125.Subject(s): Electronic Digital Computers -- ProgrammingDDC classification: 001.642 | M855e
| Item type | Current location | Collection | Call number | url | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|---|
Withdrawn
|
PK Kelkar Library, IIT Kanpur | R311 | 001.642 M855e (Browse shelf) | Item withdrawn Not for loan | A95681 |
Total holds: 0
Browsing PK Kelkar Library, IIT Kanpur Shelves , Collection code: R311 Close shelf browser
| 001.642 G873s SCIENCE OF PROGRAMMING | 001.642 G873s SCIENCE OF PROGRAMMING | 001.642 M42 MATH/PROTRAN USER'S MANUAL | 001.642 M855e EXECUTING TEMPORAL LOGIC PROGRAMS | 001.642 R137C2 COMPUTER ORIENTED NUMERICAL METHODS | 001.642 St29 STAT/PROTRAN | 001.642 W674P PROGRAMMING THE BBC MICRO |
There are no comments for this item.