Proceedings
Author(s)
Bibliographic Information
Proceedings
IEEE Computer Society Press, c1986-
- 1st (1986)-
- Other Title
-
Proc. - Symp. Logic Comput. Sci
Proceedings - Symposium on Logic in Computer Science
Logic in computer science
IEEE ... Symposium on Logic in Computer Science
Available at / 2 libraries
-
No Libraries matched.
- Remove all filters.
Search this Book/Journal
Note
Vols. for 1986- sponsored by the IEEE Computer Society Technical Committee on Mathematical Foundations of Computing, in cooperation with ACM SIGACT, Association for Symbolic Logic, European Association for Theoretical Computer Science