Edelkamp, Stefan.

Model Checking and Artificial Intelligence 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers / [Recurso electrónico] : edited by Stefan Edelkamp, Alessio Lomuscio. - Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007. - v.: digital - Lecture Notes in Computer Science, 4428 0302-9743 ; .

Restringido a usuarios de la UCA

Modo de acceso: World Wide Web


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 Engineering

Powered by Koha