Scientific Library of Tomsk State University

   E-catalog        

Image from Google Jackets
Normal view MARC view

Model Checking and Artificial Intelligence Электронный ресурс 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers / edited by Stefan Edelkamp, Alessio Lomuscio.

By: Edelkamp, StefanContributor(s): Lomuscio, Alessio | SpringerLink (Online service)Material type: Computer fileComputer fileSeries: Lecture Notes in Computer SciencePublication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007ISBN: 9783540741282Subject(s): Artificial intelligence | Computer Science | Logic design | Software engineering | Computer Science | Artificial Intelligence (incl. Robotics) | Logics and Meanings of Programs | Mathematical Logic and Formal Languages | Programming Techniques | Software EngineeringOnline resources: Click here to access online In: Springer e-books
Tags from this library: No tags from this library for this title. Log in to add tags.
No physical items for this record

There are no comments on this title.

to post a comment.