Algebraic and logic programming : third international conference, Volterra, Italy, September 2-4, 1992 : proceedings /

Saved in:
Bibliographic Details
Other Authors: Kirchner, H. (Hélène), Levi, G. (Georgio), 1942-
Format: Book
Language:English
Published: Berlin ; New York : Springer-Verlag, c1992.
Series:Lecture notes in computer science ; 632.
Subjects:
LEADER 01261nam a2200301 a 4500
001 c000162295
003 CARM
005 19921208000000.0
008 920708s1992 gw a b 100 0 eng
019 1 |a 9161885  |5 LACONCORD2021 
020 |a 354055873X  |b (Berlin : acid-free paper) 
020 |a 038755873X  |b (New York : acid-free paper) 
035 |a (OCoLC)26256796  |5 LACONCORD2021 
040 |a LC  |b eng  |c LC  |d LC 
050 0 0 |a QA76.6  |b .A45842 1992 
082 0 0 |a 005.13/1  |2 20 
245 0 0 |a Algebraic and logic programming :  |b third international conference, Volterra, Italy, September 2-4, 1992 : proceedings /  |c H. Kirchner, G. Levi, eds. 
260 |a Berlin ;  |a New York :  |b Springer-Verlag,  |c c1992. 
300 |a ix, 457 p. :  |b ill. ;  |c 25 cm. 
440 0 |a Lecture notes in computer science ;  |v 632. 
504 |a Includes bibliographical references. 
650 0 |a Logic programming  |x Congresses. 
650 0 |a Algebraic logic  |x Congresses. 
700 1 |a Kirchner, H.  |q (Hélène) 
700 1 |a Levi, G.  |q (Georgio),  |d 1942- 
852 8 |b CARM  |h A2:AM13D0  |i C05517  |p 0214198  |f BK 
999 f f |i 23241938-6abd-55b8-847c-c1b9fb6dfd82  |s b2a016ff-7559-516f-ad7e-6a8b5045a2b3 
952 f f |p Can circulate  |a CAVAL  |b CAVAL  |c CAVAL  |d CARM 1 Store  |e C05517  |f A2:AM13D0  |h Other scheme  |i book  |m 0214198