Research Catalog
New! Try our Article Search to discover online journals, books, and more from home with your library card.
Selected filters.Clear Filters
Displaying 1-8 of 8 results for author "Association for Symbolic Logic. http://id.loc.gov/authorities/names/n50054564"
Proceedings, Tenth Annual IEEE Symposium on Logic in Computer Science, June 26-29, 1995, San Diego, California / edited by Dextere 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 ... [et al.].
- Text
- Los Alamitos, Calif. : IEEE Computer Society Press, c1995.
- 1995
- 1 Item
Item details Format Call Number Item Location Text QA75.5 .S9813 1995 Off-site Logic Colloquium '80 : papers intended for the European summer meeting of the Association for Symbolic Logic / edited by D. van Dalen, D. Lascar, T.J. Smiley.
- Text
- Amsterdam ; New York : North-Holland Pub. Co. ; New York, N.Y. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1982.
- 1982
- 1 Item
Item details Format Call Number Item Location Text QA9.A1 L63 1980 Off-site Proceedings, 11th Annual IEEE Symposium on Logic in Computer Science : July 27-30, 1996, New Brunswick, New Jersey / sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; in cooperation with ACM Special Interest Group on Automata and Computability Theory, the Association for Symbolic Logic, the European Association for Theoretical Computer Science ; with support from AT&T Research, Bell Laboratories--Lucent Technologies DIMACS, IBM Almaden Research Center.
- Text
- Los Alamitos, Calif. : IEEE Computer Society Press, c1996.
- 1996
- 1 Item
Item details Format Call Number Item Location Text QA75.5.S9813 1996 Off-site Proceedings, 12th Annual IEEE Symposium on Logic in Computer Science : June 29-July 2, 1997, Warsaw, Poland / organized by Warsaw University ; sponsored by IEEE Technical Committee on Mathematical Foundations of Computing, IEEE Computer Society ; in cooperation with the Special Interest Group on Automata and Computability Theory of the Association for Computing Machinery, the Association for Symbolic Logic, the European Association for Theoretical Computer Science ; with support from BRICS, University of Aarhus ... [et al.].
- Text
- Los Alamitos, Calif. : IEEE Computer Society Press, c1997.
- 1997
- 1 Item
Item details Format Call Number Item Location Text QA75.5 .S9813 1997 Off-site Formal systems and recursive functions; proceedings. Edited by J.N. Crossley and M.A.E. Dummett.
- Text
- Amsterdam, North-Holland Pub. Co., 1965.
- 1965
- 1 Item
Item details Format Call Number Item Location Text MICROFILM 02977 Off-site Proceedings / Symposium on Logic in Computer Science, Cambridge, Massachusetts, June 16-18, 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.
- Text
- Washington, D.C. : IEEE Computer Society Press ; Los Angeles, CA : Order from IEEE Computer Society, 1986.
- 1986
- 1 Item
Item details Format Call Number Item Location Text QA75.5 .S9813 1986 Off-site Methods and applications of mathematical logic : proceedings of the VII Latin American Symposium on Mathematical Logic held July 29-August 2, 1985 / Walter A. Carnielli and Luiz Paulo de Alcantara, editors.
- Text
- 1988
- 1 Item
Item details Format Call Number Item Location Text QA9.A1 L37 1985 Off-site Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science : June 22-25, 1992, Santa Cruz, California / sponsored by 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.
- Text
- Los Alamitos, Calif. : IEEE Computer Society Press, c1992.
- 1992
- 1 Item
Item details Format Call Number Item Location Text QA75.5 .S9813 1992 Off-site
No results found from Digital Research Books Beta
Digital books for research from multiple sources world wide- all free to read, download, and keep. No Library Card is Required. Read more about the project.
