Reasoning with logic programming /
Saved in:
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Book |
| Language: | English |
| Published: |
Berlin ; New York :
Springer,
c1996.
|
| Series: | Lecture notes in computer science ;
1111. Lecture notes in computer science. Lecture notes in artificial intelligence. |
| Subjects: |
| LEADER | 01335nam a2200337 a 4500 | ||
|---|---|---|---|
| 001 | c000177188 | ||
| 003 | CARM | ||
| 005 | 19980605000000.0 | ||
| 008 | 960621s1996 gw a b 000 0 eng | ||
| 010 | |a 96027904 | ||
| 019 | 1 | |a 12556430 |5 LACONCORD2021 | |
| 020 | |a 3540614885 | ||
| 035 | |a (OCoLC)35029600 |5 LACONCORD2021 | ||
| 040 | |a LC |b eng |c LC |d NU | ||
| 050 | 0 | 0 | |a QA76.63 |b .A33 1996 |
| 082 | 0 | 0 | |a 006.3/3 |2 20 |
| 100 | 1 | |a Alferes, José Júlio. | |
| 245 | 1 | 0 | |a Reasoning with logic programming / |c José Júlio Alferes, Luís Moniz Pereira. |
| 260 | |a Berlin ; |a New York : |b Springer, |c c1996. | ||
| 300 | |a xx, 326 p. : |b ill. ; |c 24 cm. | ||
| 490 | 1 | |a Lecture notes in computer science ; |v 1111. |a Lecture notes in artificial intelligence. | |
| 500 | |a Errata slip inserted. | ||
| 504 | |a Includes bibliographical references (p. [271]-281). | ||
| 650 | 0 | |a Logic programming. | |
| 650 | 0 | |a Reasoning. | |
| 700 | 1 | |a Pereira, Luĩs Moniz. | |
| 830 | 0 | |a Lecture notes in computer science ; |v 1111. | |
| 830 | 0 | |a Lecture notes in computer science. |p Lecture notes in artificial intelligence. | |
| 852 | 8 | |b CARM |h A2:AL37A0 |i B05625 |p 0239802 |f BK | |
| 999 | f | f | |i dc597e24-1a46-5a29-9543-410088547029 |s 5a355a85-34a2-5e3f-a8e4-c133e819e501 |
| 952 | f | f | |p Can circulate |a CAVAL |b CAVAL |c CAVAL |d CARM 1 Store |e B05625 |f A2:AL37A0 |h Other scheme |i book |m 0239802 |