机读格式显示(MARC)

• 000 01115nam2 2200337 4500

• 000 1000006351

• 001 0000162702

• 005 20050119164916.0

• 008 011102s1990 maua b 001 0 eng

• 010 __ |a 90047235

• 020 __ |a 0125317158 (acid-free paper) |c CNY9.20

• 040 __ |a XAIT |c XAIT

• 050 00 |a QA76.9.A96 |b O94 1990

• 082 00 |a 006.3 |2 20

• 090 __ |a B812.23/E1

• 093 __ |a B812.23 |2 4

• 099 __ |a CAL 022000229924 |a CAL 021999627813

• 100 1_ |a Owen, Stephen |q (Stephen G.)

• 245 10 |a Analogy of automated reasoning / |c Stephen Owen.

• 260 __ |a Boston : |b Academic Press, |c c1990.

• 300 __ |a xv, 235 p. : |b ill. ; |c 24 cm.

• 440 _0 |a Perspectives in artificial intelligence ; |v v. 9

• 504 __ |a Includes bibliographical references (p. 227-230) and index.

• 650 _0 |a Artificial intelligence.

• 650 _0 |a Analogy.

• 650 _0 |a Automatic theorem proving.

• 905 __ |a XATU |d B812.23/E1

• 920 __ |a 261060 |z 1

• 950 __ |a 261060 |f B812.23/E1

• 991 __022005002351

• 999 __ |t C |A shenxiaoyan |a 20050119 16:48:01 |M shenxiaoyan |m 20050119 16:49:16 |G shenxiaoyan |g 20050119 16:49:3