机读格式显示(MARC)
- 000 01095nam2 2200337 4500
- 008 730612s1973 nyua b 001 0 eng
- 010 __ |a 72088358 //r872
- 100 1_ |a Chang, Chin-Liang, |d 1937-
- 245 10 |a Symbolic logic and mechanical theorem proving / |c Chin-liang Chang [and] Richard Char-Tung Lee.
- 260 __ |a New York : |b Academic Press, |c 1973.
- 300 __ |a xiii, 331 p. : |b ill. ; |c 24 cm.
- 490 0_ |a Computer science and applied mathematics
- 504 __ |a Bibliography: p. 309-324.
- 650 _0 |a Automatic theorem proving.
- 650 _0 |a Artificial intelligence
- 650 _0 |a Logic, Symbolic and mathematical.
- 700 1_ |a Lee, Richard Char-Tung, |d 1939-
- 905 __ |a XATU |d O141/E1
- 950 __ |a 261060 |f O141/E1
- 999 __ |t C |A shenxiaoyan |a 20050112 11:11:28 |M shenxiaoyan |m 20050112 11:12:16 |G shenxiaoyan |g 20050112 11:12:4