About this book

Proceedings (of the 1. Annual IEEE) Symposium on Logic in Computer Science, Cambridge, Mass., June 16-18, 1986 by Institute of Electrical and Electronics Engineers Computer Society Technical Committee on Mathematical Foundations of Computing; ACM Special Interest Group for Automata and Computability Theory; Association for Symbolic Logic; European Association for Theoretical Computer Science is a book available to read on EtoBox.

Author

Institute of Electrical and Electronics Engineers Computer Society Technical Committee on Mathematical Foundations of Computing; ACM Special Interest Group for Automata and Computability Theory; Association for Symbolic Logic; European Association for Theoretical Computer Science

Publisher

Ieee; IEEE Computer Society Press; Order from IEEE Computer Society

Published

1986

Language

EN

ISBN

9780818687204

Subjects

Mathematics, Computer Science, Programming