LEADER 00000nam 2200000 a 4500
001 3540582169
008 941103s1994 gw 101 eng
010 94021152
020 3540582169 (Berlin)
020 0387582169 (New York : alk. paper) :
040 DLC|cDLC|dDLC
050 4 QA76.63|bI565 1994
082 04 005.1/1|220
111 2 LPAR|n(5th :|d1994 :|cKiev, Ukraine)
245 10 Logic programming and automated reasoning :|b5th
International Conference, LPAR '94, Kiev, Ukraine, July 16
-22, 1994 : proceedings /|cFrank Pfenning (ed.).
260 Berlin ;|aNew York :|bSpringer-Verlag,|cc1994.
300 x, 344 p ;|c24 cm.
490 0 Lecture notes in computer science ;|v822|aLecture notes in
artificial intelligence
500 Includes index.
650 0 Logic programming|xCongresses.
650 0 Automatic theorem proving|xCongresses.
700 1 Pfenning, Frank.
830 0 Lecture notes in computer science ;|v822.
830 0 Lecture notes in computer science.
