机读格式显示(MARC)
- 000 01224nam2 2200361 4500
- 008 840824m19851990maua b 00110 eng
- 010 __ |a 84020346 //r903
- 020 __ |a 0201182602 (v. 1) |c CNY8.40
- 050 00 |a QA76.6 |b .M35595 1985
- 099 __ |a CAL 021999670875
- 245 14 |a The logical basis for computer programming, |n v. 1 : |p deductive reasoning / |c Zohar Manna, Richard Waldinger.
- 260 __ |a Reading, Mass. : |b Addison-Wesley, |c c1985.
- 300 __ |a 618 p. : |b ill. ; |c 25 cm.
- 490 0_ |a Addison-Wesley series in computer science
- 504 __ |a Includes bibliographies and indexes.
- 505 0_ |a v. 1. Deductive reasoning -- v. 2 Deductive systems.
- 650 _0 |a Logic, Symbolic and mathematical.
- 650 _0 |a Electronic digital computers |x Programming.
- 700 1_ |a Waldinger, Richard.
- 905 __ |a XATU |d TP311/E5:1
- 950 __ |a 261060 |f TP311/E5:1
- 999 __ |t C |A zhaining |a 20050125 16:39:49 |M zhaining |m 20050125 16:40:50 |G zhaining |g 20050125 16:41:2