STEPHEN HAAG AND JAMES T.PERRY2002 年出版792 页ISBN：0072459067
Lecture Notes in Artificial Intelligence 3835 Logic for Programming
Artificial Intellignce2005 年出版0 页ISBN：
Lecture Notes in Artificial Intelligence 3452 Logic for Programming
Artificial Intelligence2005 年出版0 页ISBN：
Lecture Notes in Artificial Intelligence 4246 Logic for Programming
Artificial Intelligence2006 年出版0 页ISBN：
Lecture Notes in Artificial Intelligence 4790 Logic for Programming
Artificial Intelligence2007 年出版0 页ISBN：
WINDOWS95 PROGRAMMING NUTS AND BOLTS FOR EXPERIENCED PROGRAMMERS
HERBERT SCHILDT2222 年出版310 页ISBN：
