Logic programming : First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990 : Second Russian Conference on Logic Programming, St. Petersburg, Russia, September 11-16, 1991 : proceedings /
Saved in:
| Corporate Authors: | , |
|---|---|
| Other Authors: | |
| Format: | Conference Proceeding Book |
| Language: | English |
| Published: |
Berlin ; New York :
Springer-Verlag,
c1992.
|
| Series: | Lecture notes in computer science ;
592. Lecture notes in computer science. Lecture notes in artificial intelligence. |
| Subjects: |
| LEADER | 01630nam a2200337 a 4500 | ||
|---|---|---|---|
| 001 | c000175429 | ||
| 003 | CARM | ||
| 005 | 19990104000000.0 | ||
| 008 | 920423s1992 gw a b 100 0 eng | ||
| 010 | |a 92016288 //r982 | ||
| 019 | 1 | |a 9041196 |5 LACONCORD2021 | |
| 020 | |a 0387554602 | ||
| 020 | |a 3540554602 | ||
| 035 | |a (OCoLC)25832232 |5 LACONCORD2021 | ||
| 040 | |a LC |b eng |c LC |d LC | ||
| 050 | 0 | 0 | |a QA76.63 |b .R87 1990 |
| 082 | 0 | 0 | |a 005.1/1 |2 20 |
| 111 | 2 | |a Russian Conference on Logic Programming |n (1st :, |d 1990 : |c Irkutsk, R.S.F.S.R.) | |
| 245 | 1 | 0 | |a Logic programming : |b First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990 : Second Russian Conference on Logic Programming, St. Petersburg, Russia, September 11-16, 1991 : proceedings / |c A. Voronkov (ed.) |
| 260 | |a Berlin ; |a New York : |b Springer-Verlag, |c c1992. | ||
| 300 | |a ix, 514 p. : |b ill. ; |c 25 cm. | ||
| 490 | 1 | |a Lecture notes in computer science ; |v 592. |a Lecture notes in artificial intelligence. | |
| 504 | |a Includes bibliographical references. | ||
| 650 | 0 | |a Logic programming |x Congresses. | |
| 700 | 1 | |a Voronkov, A. |q (Andreĭ), |d 1959- | |
| 711 | 2 | |a Russian Conference on Logic Programming |n (2nd :, |d 1991 : |c Saint Petersburg, Russia) | |
| 830 | 0 | |a Lecture notes in computer science ; |v 592. | |
| 830 | 0 | |a Lecture notes in computer science. |p Lecture notes in artificial intelligence. | |
| 852 | 8 | |b CARM |h A2:AL21B0 |i B05662 |p 0239312 |f BK | |
| 999 | f | f | |i aa87dcd2-f51d-5189-82dc-769040b73c83 |s 209a2186-e57e-593a-8ee5-3603228dee60 |
| 952 | f | f | |p Can circulate |a CAVAL |b CAVAL |c CAVAL |d CARM 1 Store |e B05662 |f A2:AL21B0 |h Other scheme |i book |m 0239312 |