Logic programming and automated reasoning : international conference, LPAR '92, St. Petersburg, Russia, July 15-20, 1992 : proceedings /

Logic programming and automated reasoning : international conference, LPAR '92, St. Petersburg, Russia, July 15-20, 1992 : proceedings /

Saved in:
Bibliographic Details
Corporate Author: LPAR, Saint Petersburg, Russia
Other Authors: Voronkov, A. (Andreĭ), 1959-
Format: Conference Proceeding Book
Language:English
Published: Berlin ; New York : Springer-Verlag, c1992.
Series:Lecture notes in computer science ; 624.
Lecture notes in computer science. Lecture notes in artificial intelligence.
Subjects:
Logic programming > Congresses.
Automatic theorem proving > Congresses.
LEADER 01526nam a2200361 a 4500
001 c000175430
003 CARM
005 19990924000000.0
008 920602s1992 gw a b 100 0 eng
010 |a 92021886 
019 1 |a 9161639  |5 LACONCORD2021 
020 |a 354055727X 
020 |a 038755727X 
035 |a (OCoLC)26095693  |5 LACONCORD2021 
040 |a DLC  |b eng  |c DLC  |d DLC  |d LC 
050 0 |a QA76.63  |b .I55 1992 
050 0 0 |a QA76.63  |b .I55 1992 
082 0 0 |a 006.3  |2 20 
082 0 4 |a 006.3  |2 20 
111 2 |a LPAR,  |d (1992 :  |c Saint Petersburg, Russia) 
245 1 0 |a Logic programming and automated reasoning :  |b international conference, LPAR '92, St. Petersburg, Russia, July 15-20, 1992 : proceedings /  |c A. Voronkov, ed. 
260 |a Berlin ;  |a New York :  |b Springer-Verlag,  |c c1992. 
300 |a xiv, 509 p. :  |b ill. ;  |c 25 cm. 
490 1 |a Lecture notes in computer science ;  |v 624.  |a Lecture notes in artificial intelligence. 
504 |a Includes bibliographical references. 
650 0 |a Logic programming  |x Congresses. 
650 0 |a Automatic theorem proving  |x Congresses. 
700 1 |a Voronkov, A.  |q (Andreĭ),  |d 1959- 
830 0 |a Lecture notes in computer science ;  |v 624. 
830 0 |a Lecture notes in computer science.  |p Lecture notes in artificial intelligence. 
852 8 |b CARM  |h A2:AL21B0  |i B05662  |p 0239317  |f BK 
999 f f |i b6f95042-b77a-5969-a948-f07823cd5b64  |s 838c4b1d-6691-5333-8bd3-cb79e34da88c 
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 0239317 

Similar Items