Research Catalog
Reasoning with logic programming
- Title
- Reasoning with logic programming / José Júlio Alferes, Luís Moniz Pereira.
- Author
- Alferes, José Júlio
- Publication
- Berlin ; New York : Springer, c1996.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Book/Text | Request in advance | JSE 96-1489 | Offsite |
Details
- Additional Authors
- Pereira, Luís Moniz
- Description
- xx, 326 p. : ill.; 24 cm.
- Series Statement
- Lecture notes in computer science ; 1111
- Lecture notes in artificial intelligence
- Uniform Title
- Lecture notes in computer science. Lecture notes in artificial intelligence.
- Subject
- Bibliography (note)
- Includes bibliographical references (p. [271]-281).
- Call Number
- JSE 96-1489
- ISBN
- 3540614885 (soft : alk. paper)
- LCCN
- 96027904
- OCLC
- 35029600
- Author
- Alferes, José Júlio.
- Title
- Reasoning with logic programming / José Júlio Alferes, Luís Moniz Pereira.
- Imprint
- Berlin ; New York : Springer, c1996.
- Series
- Lecture notes in computer science ; 1111Lecture notes in artificial intelligenceLecture notes in computer science. Lecture notes in artificial intelligence.
- Bibliography
- Includes bibliographical references (p. [271]-281).
- Added Author
- Pereira, Luís Moniz.
- Research Call Number
- JSE 96-1489