Wellcome

Computer Science Logic [electronic resource] : 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings / edited by Anuj Dawar, Helmut Veith.

By: Dawar, AnujContributor(s): Veith, Helmut | SpringerLink (Online service)Material type: TextTextSeries: Lecture Notes in Computer Science ; 6247Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010ISBN: 9783642152054Subject(s): Computer science | Software engineering | Computer software | Logic design | Artificial intelligence | 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 ComplexityAdditional physical formats: Printed edition:: No titleOnline resources: Click here to access online In: Springer eBooks
Item type:
Tags from this library: No tags from this library for this title. Log in to add tags.
Holdings
Item type Current library Call number Status Date due Barcode
Ebooks Ebooks Mysore University Main Library
Not for loan EBSP05722722

There are no comments on this title.

to post a comment.

No. of hits (from 9th Mar 12) :

web counter

Powered by Koha