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
SRINIVAS DEVADAS ABHIJIT GHOSH KURT KEUTZER1994 年出版405 页ISBN:0070165009