Proceedings
Finna-arvio
Proceedings
Tallennettuna:
Genre | |
---|---|
Muut nimekkeet |
Logic in computer science LICS |
Kieli |
englanti |
Huomautukset |
Published: Los Alamitos, CA, 1990- |
Julkaisija |
Washington, D.C. :
IEEE Computer Society Press,
©1986-
|
Luokitus | |
Dewey-luokitus |
004/.01/5113 |
Aiheet | |
Lisätiedot | Symposium on Logic in Computer Science |
Alasarja |
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 |
Muu ilmiasu |
1043-6871 |
Julkaistu |
Began with [1st] (June 16-18, 1986) |
Julkaisutiheys |
Annual |
Hankintapaikka |
IEEE Computer Society Press, 1730 Massachusetts Ave., N.W., Washington, D.C. 20036-1903 |
Huomautukset |
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-> |
Hae kokoteksti |