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：
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：
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE 353 FOUNDATIONS OF EQUATIONAL LOGIC PROGRAMMING
1989 年出版250 页ISBN：038751533X
A Programming Logic With An Introduction To The PL/CV Verifier
1978 年出版389 页ISBN：0876267266
Lecture Notes in Computer Science 130 Axiomatising the Logic of Computer Programming
1982 年出版304 页ISBN：3540112103
