LOGICAL COMPLEXITY OF GEOMETRIC PROPERTIES IN PLANE

被引：5

作者：

HODES, L

机构：

来源：

JOURNAL OF THE ACM | 1970年 / 17卷 / 02期

关键词：

D O I：

10.1145/321574.321587

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

收藏

页码：339 / &

相关论文

共 7 条

[1] [Anonymous], 1942, J MATH PHYS
[2] Hodes L., 1968, CONTRIBUTIONS MATH L, P175
[3] LUPANOV O. B., 1962, PROBLEMS CYBERNETICS, V3, P782
[4] NECIPORUK EI, 1966, SOV MATH DOKL, V7, P999
[5] Papert S, 1967, P S APPL MATH, VXIX, P176
[6] SPECKER E, 1967, J SYMBOLIC LOGIC, V32, P567
[7] Subbotovskaya B. A., 1961, SOV MATH DOKL, V2, P110