|
|
|
|
| LEADER |
00967nam a2200229 a 4500 |
| 001 |
960085 |
| 005 |
20171111231428.0 |
| 008 |
980502s1993 gw a b 100 0 eng |
| 020 |
|
|
|a 3540569448(Berlin:acidfreepaper
|
| 020 |
|
|
|a 0387569448(NewYork:acidfreepaper)
|
| 050 |
|
0 |
|a QA76.63
|b .L73 1993
|
| 082 |
0 |
0 |
|2 20
|a 006.3
|
| 111 |
2 |
|
|a International Conference L.P.A.R. (
|c Saint Petersburg, Russia)
|d 1993 :
|
| 245 |
1 |
0 |
|a Logic programming and automated reasoning :
|b 4th international conference, LPAR '93, St. Petersburg, Russia, July 13-20, 1993 :proceedings /
|c A. Voronkov, ed.
|
| 246 |
3 |
3 |
|a LPAR '93.
|
| 260 |
|
|
|a Berlin ;
|b Springer-Verlag,
|c c1993.
|a New York :
|
| 300 |
|
|
|a xiii, 386 p. :
|b ill. ;
|c 25 cm.
|
| 504 |
|
|
|a Includes bibliographical references.
|
| 650 |
|
0 |
|a Logic programming
|x Congresses.
|
| 700 |
1 |
|
|a Voronkov, A.
|
| 710 |
2 |
|
|a Russian Association for Logic Programming
|
| 952 |
|
|
|a GRHeTEI
|b 59ccc4696c5ad1344607f261
|c 998a
|d 945l
|e QA76.63 .L73 1993
|t 2
|x m
|z Books
|
