机译:逻辑,发现和计算机器的基础
International Business Machines Corp. San Jose, California;
机译:Martin Davis上的计算性,计算逻辑和数学基础<重点类型=“斜体”>由E. Omodeo和A. Policriti(EDS) Emphasis>
机译:使用模糊逻辑和禁忌表的网格计算中的资源发现
机译:具有用户定义共享的混合逻辑逻辑编程的基础
机译:亚里士多德在数学,逻辑和计算地区的基础中的特殊性的意义 - 图灵和宾夕法尼亚州的声音,合理,诠释
机译:PLEN的哲学基础:认知规范的协议理论逻辑
机译:数字解剖学家基础模型的基于逻辑的重塑
机译:从逻辑到逻辑编程Kees Doets计算基础系列,MIT出版社,ISBN 0-262-04142-1,xii + 214页,Price:$ 43.95 /£29.95