Computational Logic in Multi-Agent Systems
Fisher, Michael.
Computational Logic in Multi-Agent Systems 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers / [electronic resource] : edited by Michael Fisher, Fariba Sadri, Michael Thielscher. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. - Lecture Notes in Computer Science, 5405 0302-9743 ; . - Lecture Notes in Computer Science, 5405 .
9783642027345
10.1007/978-3-642-02734-5 doi
Computer science.
Data structures (Computer science).
Information theory.
Logic design.
Computer Science.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Theory of Computation.
Data Structures, Cryptology and Information Theory.
Mathematics of Computing.
Models and Principles.
Computational Logic in Multi-Agent Systems 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers / [electronic resource] : edited by Michael Fisher, Fariba Sadri, Michael Thielscher. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. - Lecture Notes in Computer Science, 5405 0302-9743 ; . - Lecture Notes in Computer Science, 5405 .
9783642027345
10.1007/978-3-642-02734-5 doi
Computer science.
Data structures (Computer science).
Information theory.
Logic design.
Computer Science.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Theory of Computation.
Data Structures, Cryptology and Information Theory.
Mathematics of Computing.
Models and Principles.