TY  - BOOK
ED  - Symposium on Logic in Computer Science
ED  - IEEE Computer Society.
TI  - Proceedings: Third Annual Symposium on Logic in Computer Science, July 5-8, 1988, Edinburgh, Scotland 
AV  - QA75.5 S9574 1988
PY  - 1988///
CY  - Washington
PB  - IEEE Computer Society Press
KW  - Electronic data processing
KW  - Congresses
KW  - Electronic digital computers
KW  - Programming
KW  - Logic, Symbolic and mathematical
ER  -