temporal logic and temporal logic progamming
duan zhenhua2222 年出版196 页ISBN:7030166515
本书主要介绍有关计算机科学与技术方面的基本知识和应用等。
COMPUTING WITH LOGIC LOGIC PROGRAMMING WITH PROLOG
DAVID MAIER1987 年出版535 页ISBN:0805366814
EPISTEMIC LOGIC A SURVEY OF THE LOGIC OF KNOWLEDGE
NICHOLAS RESCHER2222 年出版140 页ISBN:
Dependence Logic A New Approach to Independence Friendly Logic
Jouko Vaananen2007 年出版225 页ISBN:0521876591
Parallel and constraint logic programming an introduction to logic
parallelism and constraints1998 年出版145 页ISBN:0792393710