机读格式显示(MARC)
- 000 00449nam2 2200181 4500
- 020 __ |a 0-12-531715-8 |c ¥0.00
- 245 1_ |a Analogy for automated reasoning. |c Owen, Stephon. |g |A ANALOGYF |F OWEN,STEPHON
- 260 __ |a Tokyo |b Academic Press |c c1990
- 700 _0 |a Owen, Stephon. |A OWEN,STEPHON |4 著
- 905 __ |a HIEL |d TP18/O2