Lecture Notes in Computer Science 4719 Datatype-Generic Programming International Spring School
SSDGP 20062007 年出版369 页ISBN:9783540767855
Lecture Notes in Computer Science 3286 Generative Programming and Component Engineering Third Intern
GPCE 20042004 年出版491 页ISBN:3540235809
Lecture Notes in Computer Science 3780 Programming Languages and Systems Third Asian Symposium
APLAS 20052005 年出版435 页ISBN:3540297359
Lecture Notes in Computer Science 4010 Unifying Theories of Programming First International Symposiu
UTP 20062006 年出版257 页ISBN:354034750X
HANDBOOK OF LOGIC IN ARTIFICIAL INTELLIGENCE AND LOGIC PROGRAMMING Volume 2 Deduction Methodologies
DOV M.GABBAY1994 年出版511 页ISBN:
Lecture Notes in Artificial Intelligence 3662 Lofic Programming and Nonmontonic Reasoning 8th Intern
LPNMR 20052005 年出版454 页ISBN:3540285385
Lecture Notes in Aetificial Intelligence 4483 Logic Programming and Nonmonotonic Reasoning 9th Inter
LPNMR 20072007 年出版327 页ISBN:9783540721994
Lecture Notes in Computer Science 4279 Programming Languages and Systems 4th Asian Symposium
APLAS 20062006 年出版423 页ISBN:9783540489375
Lecture Notes in Computer Science 3676 Generative Programming and Component Engineering 4th Internat
GPCE 20052005 年出版448 页ISBN:3540291385