Lecture Notes in Computer Science 2147 Field-Programmable Logic and Applications 11th International
FPL 20012001 年出版665 页ISBN：3540424997
Lecture Notes in Computer Science 3901 Logic Based Program Synthesis and Transformation 15th Interna
LOPSTR 20052006 年出版179 页ISBN：3540326545
Lecture Notes in Artificial Intelligence 3065 Deontic Logic in Computer Science 7th International Wo
DEON 20042004 年出版275 页ISBN：3540221115
Lecture Notes in Computer Science 3018 Logic Based Program Synthesis and Transformation 13th Interna
LOPSTR 20032004 年出版233 页ISBN：3540221743
Computer-Mediated Communication for Linguistics and Literacy:Technology and Natural Language Educati
2010 年出版374 页ISBN：9781605668680
Lecture Notes in Computer Science 132 Data Base Design Techniques I:Requirements and Logical Structu
1982 年出版227 页ISBN：3540112146
Lecture Notes in Artificial Intelligence 3900 Computational Logic in Multi-Agent Systems 6th Interna
CLIMA VILondon2222 年出版0 页ISBN：
Lecture Notes in Computer Science 4732 Theorem Proving in Higher Order Logics 20th International Con
TPHOLs 20072007 年出版400 页ISBN：9783540745907
Lecture Notes in Computer Science 3603 Theorem Proving in Higher Order Logics 18th International Con
TPHOLs 20052005 年出版409 页ISBN：3540283722
Lecture Notes in Computer Science 3223 Theorem Proving on Higher Order Logics 17th International Con
TPHOLs 20042004 年出版337 页ISBN：3540230173
