机译:在医疗保健研究中推进复杂性科学:逻辑模型的逻辑
机译:应对机构复杂性:在全国范围内的逻辑和不和谐愿景中的相互作用
机译:分子逻辑:从单逻辑门到复杂的逻辑电路,从基本科学到实际应用
机译:Johan van Benthem,Gerhard Heinzmann,Manuel Rebuschi和Henk Visser编辑。替代逻辑的时代:当今评估逻辑和数学的哲学。逻辑,认识论和科学的统一; 3
机译:降低逻辑网络中乘法复杂性的逻辑综合工具箱
机译:逻辑与反抗:黑格尔《逻辑科学》中追溯性的构成与误认
机译:在医疗保健研究中推进复杂性科学:逻辑模型的逻辑
机译:具有结构化背景知识的学习逻辑程序☆☆本文的扩展摘要发表在:L.De Raedt(Ed。),第五届国际归纳逻辑编程研讨会论文集,日本东京,1995年,第53-76页,鲁汶大学(Keholieke Leuven)计算机科学系的科学报告,以及会议后论文集:L.De Raedt(Ed。),归纳逻辑程序设计进展,IOS出版社,阿姆斯特丹/欧姆沙,东京,1996年,第pp。 172–191。
机译:计算机科学讲义960.逻辑与计算复杂性。国际研讨会于1994年10月在印第安纳州印第安纳波利斯举行。精选论文