Proceedings
Finna rating
Proceedings
Saved in:
Genre | |
---|---|
Other Titles |
Logic in computer science LICS |
Language |
English |
Item Description |
Published: Los Alamitos, CA, 1990- |
Publisher |
Washington, D.C. :
IEEE Computer Society Press,
©1986-
|
Classification | |
Dewey Classification |
004/.01/5113 |
Subjects | |
Additional Information | Symposium on Logic in Computer Science |
Subseries |
Proceedings of the 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) 2010 25th Annual IEEE Symposium on Logic in Computer Science 2011 IEEE 26th Annual Symposium on Logic in Computer Science 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science |
Additional form |
1043-6871 |
Publish date |
Began with [1st] (June 16-18, 1986) |
Publication Frequency |
Annual |
Source of Acquisition |
IEEE Computer Society Press, 1730 Massachusetts Ave., N.W., Washington, D.C. 20036-1903 |
Notes |
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, 1986-<1998>; by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing, <1999-> |
Get full text |