META-PROGRAMMING IN LOGIC PROGRAMMING
HARVEY ABRAMSON AND M.H.ROGERS2222 年出版545 页ISBN:0262510472
HANDBOOK OF LOGIC IN ARTIFICIAL INTELLIGENCE AND LOGIC PROGRAMMING Volume 2 Deduction Methodologies
DOV M.GABBAY1994 年出版511 页ISBN:
Logic And Algebraic Structures In Quantum Computing
Jennifer Chubb ; Ali Eskandarian ; Valentina Harizanov2016 年出版346 页ISBN:1107033399
PROGRAMMING LOGIC AND DESIGN COMPREHENSIVE VERSION
JOYCE FARRELL2015 年出版683 页ISBN:9781285776712