Lecture Notes in Computer Science 3049 Program Development in Computational Logic A Decade of Resear
2004 年出版539 页ISBN：3540221522
Lecture Notes in Artificial Intelligence 3900 Computational Logic in Multi-Agent Systems 6th Interna
CLIMA VILondon2222 年出版0 页ISBN：
Lecture Notes in Artificial Intelligence 4371 Computational Logic in Multi-Agent Systems 7th Interna
CLIMAA VII Hakodate2222 年出版0 页ISBN：
Lecture Notes in Artificial Intelligence 3259 Computational Logic in Multi-Agent Systems 4th Interna
CLIMA IV Fort Lauderdale2222 年出版0 页ISBN：
EPISTEMIC LOGIC A SURVEY OF THE LOGIC OF KNOWLEDGE
NICHOLAS RESCHER2222 年出版140 页ISBN：
Dependence Logic A New Approach to Independence Friendly Logic
Jouko Vaananen2007 年出版225 页ISBN：0521876591
