CONFERENCE RECORD OF THE TENTH ANNUAL ACM SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES
2222 年出版312 页ISBN:0897910907
MEREDITH J.DUNCAN AND RONALD TURNER2010 年出版987 页ISBN:0314191143
COPYRIGHT A CONTEMPORARY APPROACH
ROBERT BRAUNEIS AND ROGER E.SCHECHTER2012 年出版1120 页ISBN:0314153748
I campbell and j .h. duffus1988 年出版289 页ISBN:0947946802
KENNETH J.NEUBECK DAVITA SILFEN GLASBERG1996 年出版574 页ISBN:0070463948
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