Logic in Computer Science Modelling and Reasoning about Systems 〔Second Edition〕
Michael Huth2004 年出版427 页ISBN：
The Theory of Computer Science A Programming Approach
J.M.BRADY2222 年出版287 页ISBN：
CHANGES IN THE STATE CAUSES AND CONSEQUENCES
EDWARD S.GREENBERG THOMAS F.MAYER1990 年出版260 页ISBN：
Lecture Notes in Artificial Intelligence 3374 Environments for Multi-Agent Systems First Internation
E4MAS 20042005 年出版279 页ISBN：3540245758
Lecture Notes in Artificial Intelligence 4635 Modeling and Using Context 6th International and Inter
2007 年出版574 页ISBN：9783540742548
Lecture Notes in Artificial Intelligence 3554 Modeling and Using Context 5th International and Inter
2005 年出版572 页ISBN：354026924X
Lecture Notes in Artificial Intelligence 4048 Deontic Logic and Artificial Normative Systems 8th Int
DEON 20062006 年出版273 页ISBN：3540358420
Lecture Notes in Artificial Intelligence 3529 Agent-Oriented Information Systems III 7th Internation
AOIS 20052006 年出版291 页ISBN：9783540482918
