Logic programming '85 : proceedings of the 4th conference, Tokyo, Japan, July 1-3, 1985 /

Saved in:
Bibliografiske detaljer
Institution som forfatter: Logic Programming Conference
Andre forfattere: Wada, Eiiti, 1931-
Format: Conference Proceeding Bog
Sprog:English
Udgivet: Berlin ; New York : Springer-Verlag, c1986.
Serier:Lecture notes in computer science ; 221.
Fag:
LEADER 01218nam a2200301 a 4500
001 c000176235
003 CARM
005 19880215000000.0
008 860430s1986 wb a b 100 0 eng
010 |a 86011829 //r872 
019 1 |a 4679999  |5 LACONCORD2021 
020 |a 0387164790 
035 |a (OCoLC)13580655  |5 LACONCORD2021 
040 |a LC  |b eng  |c LC  |d NU 
050 0 0 |a QA76.6  |b .L5875 1986 
082 0 4 |a 005.1  |2 19 
245 0 0 |a Logic programming '85 :  |b proceedings of the 4th conference, Tokyo, Japan, July 1-3, 1985 /  |c edited by Eiiti Wada. 
260 |a Berlin ;  |a New York :  |b Springer-Verlag,  |c c1986. 
300 |a ix, 311 p. :  |b ill. ;  |c 25 cm. 
440 0 |a Lecture notes in computer science ;  |v 221. 
500 |a Papers presented at the Fourth Logic Programming Conference. 
504 |a Includes bibliographies. 
650 0 |a Logic programming  |x Congresses. 
700 1 |a Wada, Eiiti,  |d 1931- 
711 2 |a Logic Programming Conference  |n (4th :,  |d 1985 :  |c Tokyo, Japan) 
852 8 |b CARM  |h A2:AM13E0  |i C05525  |p 0212322  |f BK 
999 f f |i ce3a6a6e-3cbd-5f2c-b621-b022e70ee9da  |s 0adf0506-bbc5-55ad-9a25-26995414314c 
952 f f |p Can circulate  |a CAVAL  |b CAVAL  |c CAVAL  |d CARM 1 Store  |e C05525  |f A2:AM13E0  |h Other scheme  |i book  |m 0212322