Lecture Notes in Computer Science 4524 Web Reasoning and Rule Systems First International Conference
RR 20072007 年出版382 页ISBN：9783540729815
Lecture Notes in Computer Science 2942 Foundations of Information and Knowledge Systems Thied Intern
FoIKS 20042004 年出版320 页ISBN：3540209654
面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems
（德）Michael Huth，（英）Mark Ryan著；何伟，樊磊译2007 年出版277 页ISBN：7111213971
本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题，反映了计算机科学中数理...
Lecture Notes in Computer Science 4080 Database and Expert Systems Applications 17th International C
DEXA 20062006 年出版959 页ISBN：3540378715
Lecture Notes in Computer Science 4761 Software Technologies for Embedded and Ubiquitous Systems 5th
SEUS 20072007 年出版563 页ISBN：9783540756637
Lecture Notes in Computer Science 4592 Natural Language Processing and Onformation Systems 12th Inte
NLDB 20072007 年出版442 页ISBN：9783540733508
Lecture Notes in Computer Science 3136 Natural Language Processing and Information Systems 9th Inter
NLDB 20042004 年出版436 页ISBN：3540225641
Lecture Notes in Computer Science 4032 Next GGeneration Information Technologies and Systems 6th Int
NGITS 20062006 年出版366 页ISBN：3540354727
Lecture Notes in Computer Science 2986 Programming Languages and Systems 13th European Symposium on
ESOP 20042004 年出版417 页ISBN：3540213139
Lecture Notes in Computer Science 720 Database and Expert Systems Applications 4th International Con
DEXA931993 年出版770 页ISBN：3540572341
