Research Catalog
Types in logic programming
- Title
- Types in logic programming / edited by Frank Pfenning.
- Publication
- Cambridge, Mass. : MIT Press, c1992.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Request in advance | JSE 94-119 | Offsite |
Details
- Additional Authors
- Pfenning, Frank.
- Description
- xviii, 357 p.; 24 cm.
- Series Statement
- Logic programming
- Subject
- Bibliography (note)
- Includes bibliographical references (p. 333-350) and index.
- Call Number
- JSE 94-119
- ISBN
- 0262161311
- LCCN
- 92013988
- OCLC
- 25872161
- NYPG94-B8570
- Title
- Types in logic programming / edited by Frank Pfenning.
- Imprint
- Cambridge, Mass. : MIT Press, c1992.
- Series
- Logic programming
- Bibliography
- Includes bibliographical references (p. 333-350) and index.
- Added Author
- Pfenning, Frank.
- Research Call Number
- JSE 94-119