Research Catalog
Loop checking in logic programming
- Title
- Loop checking in logic programming / R.N. Bol.
- Author
- Bol, R. N. (Roland N.)
- Publication
- Amsterdam, the Netherlands : CWI, c1995.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Book/Text | Request in advance | JSE 95-2193 | Offsite |
Details
- Additional Authors
- Centrum voor Wiskunde en Informatica (Amsterdam, Netherlands)
- Description
- 198 p. : ill.; 24 cm.
- Series Statement
- CWI tract ; 112
- Subject
- Logic programming
- Bibliography (note)
- Includes bibliographical references (p. 185-190) and index.
- Call Number
- JSE 95-2193
- ISBN
- 9061964563
- OCLC
- 33812362
- Author
- Bol, R. N. (Roland N.)
- Title
- Loop checking in logic programming / R.N. Bol.
- Imprint
- Amsterdam, the Netherlands : CWI, c1995.
- Series
- CWI tract ; 112
- Bibliography
- Includes bibliographical references (p. 185-190) and index.
- Added Author
- Centrum voor Wiskunde en Informatica (Amsterdam, Netherlands)
- Research Call Number
- JSE 95-2193