Logic programming and automated reasoning : 5th International Conference, LPAR '94, Kiev, Ukraine, July 16-22, 1994 : proceedings /

Logic programming and automated reasoning : 5th International Conference, LPAR '94, Kiev, Ukraine, July 16-22, 1994 : proceedings /

Saved in:
Bibliographic Details
Corporate Author: LPAR Kiev, Ukraine
Other Authors: Pfenning, Frank
Format: Conference Proceeding Book
Language:English
Published: Berlin ; New York : Springer-Verlag, c1994.
Series:Lecture notes in computer science ; 822.
Lecture notes in computer science. Lecture notes in artificial intelligence.
Subjects:
Logic programming > Congresses.
Automatic theorem proving > Congresses.
LEADER 01526nam a2200361 a 4500
001 c000162613
003 CARM
005 19990919000000.0
008 940607s1994 gw 101 0 eng
010 |a 94021152 
019 1 |a 11017005  |5 LACONCORD2021 
020 |a 3540582169  |b (Berlin) 
020 |a 0387582169  |b (New York : alk. paper) :  |c DM72.00 
035 |a (OCoLC)30664311  |5 LACONCORD2021 
040 |a DLC  |b eng  |c DLC  |d DLC  |d LC 
050 0 |a QA76.63  |b I565 1994 
050 0 0 |a QA76.63  |b I565 1994 
082 0 0 |a 005.1/1  |2 20 
082 0 4 |a 005.1/1  |2 20 
111 2 |a LPAR  |n (5th :,  |d 1994 :  |c Kiev, Ukraine) 
245 1 0 |a Logic programming and automated reasoning :  |b 5th International Conference, LPAR '94, Kiev, Ukraine, July 16-22, 1994 : proceedings /  |c Frank Pfenning (ed.) 
260 |a Berlin ;  |a New York :  |b Springer-Verlag,  |c c1994. 
300 |a x, 344 p. ;  |c 24 cm. 
490 1 |a Lecture notes in computer science ;  |v 822.  |a Lecture notes in artificial intelligence. 
500 |a Includes index. 
650 0 |a Logic programming  |x Congresses. 
650 0 |a Automatic theorem proving  |x Congresses. 
700 1 |a Pfenning, Frank. 
830 0 |a Lecture notes in computer science ;  |v 822. 
830 0 |a Lecture notes in computer science.  |p Lecture notes in artificial intelligence. 
852 8 |b CARM  |h A2:AM07D0  |i C05488  |p 0214676  |f BK 
999 f f |i b5fd1bdd-d90a-5ad1-867f-9c9fc193dc50  |s da9d2db8-8c55-5fec-a945-e39a154cee63 
952 f f |p Can circulate  |a CAVAL  |b CAVAL  |c CAVAL  |d CARM 1 Store  |e C05488  |f A2:AM07D0  |h Other scheme  |i book  |m 0214676 

Similar Items