TY  - BOOK
AU  - Wada Eiiti
ED  - Logic programming Conference( 4th : 1985 : Tokyo )
ED  - Logic programming Conference 4th
TI  - Logic programming : proceedings
SN  - 3-540-16479-0
U1  - 5.115 
PY  - 1986///
CY  - Berlin
PB  - Springer Verlag
KW  - Computer science
KW  - Logic programming
ER  -