Extensions of logic programming : 5th international workshop, ELP '96, Leipzig, Germany, March 28-30, 1996 : proceedings /
Đã lưu trong:
| Tác giả của công ty: | |
|---|---|
| Tác giả khác: | , , |
| Định dạng: | Hội nghị đang tiến hành Sách |
| Ngôn ngữ: | English |
| Được phát hành: |
Berlin ; New York :
Springer,
c1996.
|
| Loạt: | Lecture notes in computer science ;
1050. Lecture notes in computer science. Lecture notes in artificial intelligence. |
| Những chủ đề: |
| LEADER | 01532nam a2200361 a 4500 | ||
|---|---|---|---|
| 001 | c000175385 | ||
| 003 | CARM | ||
| 005 | 20000917195411.0 | ||
| 008 | 960311s1996 gw b 100 0 eng | ||
| 010 | |a 96013579 | ||
| 019 | 1 | |a 12242139 |z 45206661 |5 LACONCORD2021 | |
| 020 | |a 3540609830 | ||
| 020 | |a 3540609830 | ||
| 035 | |a (OCoLC)34409497 |5 LACONCORD2021 | ||
| 040 | |a LC |b eng |c LC |d NU | ||
| 050 | 0 | 0 | |a QA76.63 |b .E47 1996 |
| 082 | 0 | 0 | |a 005.1/1 |2 20 |
| 111 | 2 | |a ELP '96, |d (1996 : |c Leipzig, Germany) | |
| 245 | 1 | 0 | |a Extensions of logic programming : |b 5th international workshop, ELP '96, Leipzig, Germany, March 28-30, 1996 : proceedings / |c Roy Dyckhoff, Heinrich Herre, Peter Schroeder-Heister, eds. |
| 246 | 3 | 0 | |a ELP '96. |
| 260 | |a Berlin ; |a New York : |b Springer, |c c1996. | ||
| 300 | |a viii, 318 p. ; |c 24 cm. | ||
| 490 | 1 | |a Lecture notes in computer science ; |v 1050. |a Lecture notes in artificial intelligence. | |
| 504 | |a Includes bibliographical references. | ||
| 650 | 0 | |a Logic programming |x Congresses. | |
| 700 | 1 | |a Herre, Heinrich. | |
| 700 | 1 | |a Schroeder-Heister, Peter Joseph, |d 1953- | |
| 700 | 1 | |a Dyckhoff, Roy, |d 1948- | |
| 830 | 0 | |a Lecture notes in computer science ; |v 1050. | |
| 830 | 0 | |a Lecture notes in computer science. |p Lecture notes in artificial intelligence. | |
| 852 | 8 | |b CARM |h A2:AL37A0 |i B05625 |p 0239302 |f BK | |
| 999 | f | f | |i b66f5e88-eda5-561b-9981-6065e66c936b |s a5065031-164f-5b58-a609-18d2b267d2f9 |
| 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 0239302 |