Parallel and constraint logic programming an introduction to logic
parallelism and constraints1998 年出版145 页ISBN:0792393710
PROGRAMMING LOGIC AND DESIGN COMPREHENSIVE VERSION
JOYCE FARRELL2015 年出版683 页ISBN:9781285776712
EQUATIONAL LOGIC AS A PROGRAMMING LANGUAGE
MICHAEL J.O’DONNELL2222 年出版296 页ISBN:026215028X
Introduction To Flowcharting and Computer Programming Logic
1972 年出版248 页ISBN:088236345X
HANDBOOK OF LOGIC IN ARTIFICIAL INTELLIGENCE AND LOGIC PROGRAMMING Volume 2 Deduction Methodologies
DOV M.GABBAY1994 年出版511 页ISBN:
Lecture Notes in Artificial Intelligence 3835 Logic for Programming
Artificial Intellignce2005 年出版0 页ISBN: