Wellcome

Model Checking and Artificial Intelligence [electronic resource] : 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers / edited by Doron A. Peled, Michael J. Wooldridge.

By: Peled, Doron AContributor(s): Wooldridge, Michael J | SpringerLink (Online service)Material type: TextTextSeries: Lecture Notes in Computer Science ; 5348Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009ISBN: 9783642004315Subject(s): Computer science | Software engineering | Logic design | Artificial intelligence | Computer Science | Artificial Intelligence (incl. Robotics) | Programming Techniques | Software Engineering | Logics and Meanings of Programs | Mathematical Logic and Formal LanguagesAdditional 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 EBSP03684684

There are no comments on this title.

to post a comment.

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

web counter

Powered by Koha