Logic programming : operational semantics and proof theory
By: Andrews, James H.
Material type:
BookSeries: Distinguished dissertations in computer science.Publisher: Cambridge: Cambridge University Press, 1992Description: xi, 104 p.; ill.: 25 cm.ISBN: 052160745x .Subject(s): Automatic theorem proving | Logic programming | Programming languages (Electronic computers) -- SemanticsDDC classification: 005.131
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| Books | 005.131 AND (Browse shelf) | Available | 017635 |
Browsing DAIICT Shelves Close shelf browser
| No cover image available | ||||||||
| 005.13 YEV First course in computational physics and object-oriented programming with c++ | 005.1309 BER History of programming languages | 005.131 ABA Theory of objects | 005.131 AND Logic programming : operational semantics and proof theory | 005.131 DAL Grammatical inference : learning automata and grammars | 005.131 FLE Formal models of computation : the ultimate limits of computing | 005.131 GON Mathematical logic through Python |
There are no comments for this item.