Research Catalog
Principles of logic and logic programming
- Title
- Principles of logic and logic programming / G. Metakides, A. Nerode, with cooperation of A. Sinachopoulos.
- Author
- Metakides, George, 1945-
- Publication
- Amsterdam ; New York : Elsevier, 1996.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Book/Text | Request in advance | JSE 96-1280 | Offsite |
Details
- Additional Authors
- Nerode, Anil, 1932-
- Description
- xiii, 329 p. : ill.; 25 cm.
- Series Statement
- Studies in computer science and artificial intelligence ; 13
- Subject
- Bibliography (note)
- Includes bibliographical references (p. 311-317) and indexes.
- Call Number
- JSE 96-1280
- ISBN
- 0444816445
- LCCN
- 96012490
- OCLC
- 34411226
- Author
- Metakides, George, 1945-
- Title
- Principles of logic and logic programming / G. Metakides, A. Nerode, with cooperation of A. Sinachopoulos.
- Imprint
- Amsterdam ; New York : Elsevier, 1996.
- Series
- Studies in computer science and artificial intelligence ; 13
- Bibliography
- Includes bibliographical references (p. 311-317) and indexes.
- Added Author
- Nerode, Anil, 1932-
- Research Call Number
- JSE 96-1280