From Hilbert's program to a logic toolbox

被引：0

作者：

Makowsky, Johann A. ^{[1
]}

机构：

[1] Technion Israel Inst Technol, IL-32000 Haifa, Israel

来源：

LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, PROCEEDINGS | 2007年 / 4790卷

关键词：

D O I：

10.1007/978-3-540-75560-9_1

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

引用

页码：1 / 1

页数：1