Logic programming : operational semantics and proof theory / James H. Andrews.
Material type:
TextSeries: Distinguished dissertations in computer sciencePublication details: New York : Cambridge University Press, 2004.Description: xi, 104 p. : ill. ; 25 cmContent type: - text
- unmediated
- volume
- 052160754X
- 9780521607544
- 005.131 dc20 /AND
- QA76.63 .A375 2004
| Item type | Current library | Collection | Shelving location | Call number | Copy number | Status | Barcode | |
|---|---|---|---|---|---|---|---|---|
Books
|
Dato Maznah Library & Information Services | Open Collection | QA Mathematics | QA76.63 .A375 2004 (Browse shelf(Opens below)) | 1 | Available | 1002002 |
Browsing Dato Maznah Library & Information Services shelves,Shelving location: QA Mathematics,Collection: Open Collection Close shelf browser (Hides shelf browser)
| QA76.6 .T888 1997 Software management / | QA76.6.W56 1976 Algorithms + data structures=programs / | QA76.6.Y68 2000 The U.K. Internet Starter Kit : 2000 edition / | QA76.63 .A375 2004 Logic programming : operational semantics and proof theory / | QA76.64 .B39 1996 Realizing the object-oriented lifecycle / | QA76.64 .B47 1993 Essays on object-oriented software engineering / | QA76.64 .B48 1994 Data Abstraction : the Object-Oriented Approach Using C++ / |
GB92-03126
Includes bibliographical references and index.
There are no comments on this title.
Log in to your account to post a comment.