DIGITAL COMPUTATIONAL METHODS IN SYMBOLIC LOGIC, WITH EXAMPLES IN BIOCHEMISTRY

被引：27

作者：

LEDLEY, RS

机构：

来源：

关键词：

D O I：

10.1073/pnas.41.7.498

中图分类号：

O [数理科学和化学]; P [天文学、地球科学]; Q [生物科学]; N [自然科学总论];

学科分类号：

07 ; 0710 ; 09 ;

摘要：

引用

页码：498 / 511

页数：14

共 18 条

[1]

BIRKHOFF G, 1948, SURVEY MODERN ALGEBR

[2]

BIRKHOFF G, 1948, AM MATH SOC COLL

[3]

BOOLE G, 1916, G BOOLES COLLECTED L, V2

[4]

BOOLE G, 1916, G BOOLES COLLECTED L, V1

GAMOW, G .

[6]

GAMOW G, 1954, KGL DANSKE VIDENSKAB, V22

[7]

GAMOW G, 1955, ADV BIOL MED PHYSICS

[8]

JEVONS WS, 1890, PURE LOGIC OTHER MIN, P1

[9]

LEDLEY, NEW COMPUTATIONAL ME, V2

[10]

LEDLEY RS, 1954, B AM MATH SOC, V60, P378