TY  - BOOK
AU  - Shapiro,Ehud
ED  - International Conference on Logic Programming
TI  - Third International Conference on Logic Programming: Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986 : proceedings 
AV  - QA76.6 I5466 1986
PY  - 1986///
CY  - Berlin
PB  - Springer-Verlag
KW  - Logic programming
KW  - Congresses
ER  -