机读格式显示(MARC)

• 000 01430cam 2200493 a 4500

• 001 0000396508

• 003 SCNU

• 008 730612s1973 nyua b 001 0 eng

• 010 __ |a 72088358

• 040 __ |c SCT

• 050 0_ |a QA9 |b .C483

• 082 __ |a 511/.3

• 093 __ |a O141 |2 3

• 099 __ |a CAL 022000819454 |a CAL 022000251407

• 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 Includes bibliographical reference (p. 309-324) and index.

• 650 _0 |a Logic, Symbolic and mathematical.

• 650 _0 |a Automatic theorem proving.

• 650 _0 |a Artificial intelligence

• 700 1_ |a Lee, Richard Char-Tung, |d 1939-

• 920 __ |a 244050 |z 2

• 920 __ |a 212010 |z 1

• 920 __ |a 215010 |z 1

• 920 __ |a 243040 |z 1

• 920 __ |a 211010 |b O141 |c C362 |z 1

• 920 __ |a 242010 |z 1

• 920 __ |a 231220 |z 1

• 920 __ |a 211060 |z 1

• 920 __ |a 245010 |z 1

• 920 __ |a 261020 |z 2

• 920 __ |a 222220 |z 1

• 920 __ |a 234050 |z 2

• 920 __ |a 242120 |z 1

• 920 __ |a 236010 |z 2

• 950 __ |a SCNU |f O141/C456

• 998 __ |a PUL

• 999 __ |M zxq |m 20051107 09:16:35 |G zxq |g 20051107 09:16:41

• 000 1000009906

• 991 __ |a 022005005400

• 907 __ |a SCNU |f O141/C456