Computer Science Logic 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings

Computer Science Logic 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings

Show other versions (1)
Bibliographic Details
Main Author: Dawar, Anuj
Corporate Author: SpringerLink (Online service)
Other Authors: Veith, Helmut
Format: Electronic Kit Book
Language:English
Published: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Series:Lecture Notes in Computer Science 6247
Subjects:
Computer science
Software engineering
Computer software
Logic design
Computer Science
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Artificial Intelligence (incl. Robotics)
Software Engineering
Programming Languages, Compilers, Interpreters
Algorithm Analysis and Problem Complexity
Τεχνητή νοημοσύνη
Online Access:http://dx.doi.org/10.1007/978-3-642-15205-4
Show all versions (2)

Similar Items