Proceedings, Tenth Annual IEEE Symposium on Logic in Computer Science, June 26-29, 1995, San Diego, California / edited by Dexter Kozen ; sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; in cooperation with Special Interest Group on Automata and Computability Theory of the ACM Association for Symbolic Logic, European Association for Theoretical Computer Science ; with support from AT & T Bell Laboratories IBM Almaden Research Center Rice University, University of California, San Diego
類似資料:
IEEE Computer Society Press | |
Computer Society Press of the IEEE, Order from Computer Society of the IEEE | |
Computer Society Press, Ordered from Computer Society | |
IEEE Computer Society Press | |
IEEE Computer Society Press, Order from IEEE Computer Society |
IEEE Computer Society |