00601nam a2200133Ia 4500008004100000020002200041041001200063100005300075245004700128260003200175440003800207650002100245650020100266231221s9999    xx            000 0 und d  a978-3-642-02734-5  aEnglish  aMichael Fisher, Fariba Sadri, Michael Thielscher 0aComputational Logic in Multi-Agent Systems  c2009bSpringer USaNew York  aLecture Notes in Computer Science  aComputer Science  aMathematical Logic and Formal Languages; Logics and Meanings of Programs; Theory of Computation; Data Structures, Cryptology and Information Theory; Mathematics of Computing; Models and Principles