...
construction; systematic; philosophical;
机译:具有用户定义共享的混合逻辑逻辑编程的基础
机译:Giandomenico Sica,编辑。关于数学和逻辑基础的论文[1.1]。数学和逻辑高级研究。蒙扎:Polimetrica国际科学出版社,*2005。ISBN88-7699-014-3。 Pp。 351。
机译:Giandomenico Sica,编辑。关于数学和逻辑基础的论文[1.2]。数学和逻辑高级研究。蒙扎:Polimetrica国际科学出版社,*2005。ISBN88-7699-021-6。 Pp。 120。
机译:混合逻辑中逻辑编程的基础
机译:PLEN的哲学基础:认知规范的协议理论逻辑
机译:数字解剖学家基础模型的基于逻辑的重塑
机译:从逻辑到逻辑编程Kees Doets计算基础系列,MIT出版社,ISBN 0-262-04142-1,xii + 214页,Price:$ 43.95 /£29.95