000 01006nam a2200157Ia 4500
008 140211s9999 xx 000 0 und d
020 _a9783642027345
100 _aFisher, Michael.
245 _aComputational Logic in Multi-Agent Systems
245 _b9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers /
245 _cedited by Michael Fisher, Fariba Sadri, Michael Thielscher.
300 _aOn-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
650 _aComputer 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.
856 4 1 _3Click her to access the e-Book
_uhttp://dx.doi.org/10.1007/978-3-642-02734-5
942 _cEB
999 _c116691
_d116691