Start Over Please hold this item Export MARC Display Return To Browse
 
     
Limit search to available items
Record: Previous Record Next Record
Conference Symposium on Logic in Computer Science (30th : 2015 : Kyoto, Japan)
Symposium on Logic in Computer Science (30th : 2015 : Kyoto, Japan)
Symposium on Logic in Computer Science (30th : 2015 : Kyoto, Japan)
Title LICS [electronic resource] : proceedings of the 2015 30th annual ACM/IEEE Symposium on Logic in Computer Science / sponsors, ACM Special Interest Group on Logic and Computation, IEEE CS.
Alternative Title Logic in Computer Science : proceedings of the 2015 30th annual Association for Computing Machinery/Institute of Electrical and Electronics Engineers Symposium on Logic in Computer Science
Logic in Computer Science
Publication Info Washington, District of Columbia : IEEE Computer Society, 2015.



Descript 1 online resource (764 pages)
Note .
ISBN 9781479988754
Click on the terms below to find similar items in the catalogue
Conference Symposium on Logic in Computer Science (30th : 2015 : Kyoto, Japan)
Symposium on Logic in Computer Science (30th : 2015 : Kyoto, Japan)
Symposium on Logic in Computer Science (30th : 2015 : Kyoto, Japan)
Subject Computer logic -- Congresses.
Electronic data processing -- Congresses.
Computer programming -- Congresses.
Alt author Association for Computing Machinery. Special Interest Group on Logic and Computation.
IEEE Computer Society.
Alternative Title Logic in Computer Science : proceedings of the 2015 30th annual Association for Computing Machinery/Institute of Electrical and Electronics Engineers Symposium on Logic in Computer Science
Logic in Computer Science
Descript 1 online resource (764 pages)
Note .
ISBN 9781479988754
Conference Symposium on Logic in Computer Science (30th : 2015 : Kyoto, Japan)
Symposium on Logic in Computer Science (30th : 2015 : Kyoto, Japan)
Symposium on Logic in Computer Science (30th : 2015 : Kyoto, Japan)
Subject Computer logic -- Congresses.
Electronic data processing -- Congresses.
Computer programming -- Congresses.
Alt author Association for Computing Machinery. Special Interest Group on Logic and Computation.
IEEE Computer Society.
Alternative Title Logic in Computer Science : proceedings of the 2015 30th annual Association for Computing Machinery/Institute of Electrical and Electronics Engineers Symposium on Logic in Computer Science
Logic in Computer Science

Subject Computer logic -- Congresses.
Electronic data processing -- Congresses.
Computer programming -- Congresses.
Descript 1 online resource (764 pages)
Note .
Alt author Association for Computing Machinery. Special Interest Group on Logic and Computation.
IEEE Computer Society.
ISBN 9781479988754

Links and services for this item: