机读格式显示(MARC)
- 000 01122nam2 2200337 4500
- 008 840824m19851990maua b 00110 eng
- 010 __ |a 84020346 //r903
- 020 __ |a 0201182610 (v. 2) |c CNY17.90
- 099 __ |a CAL 021999670876
- 245 14 |a The logical basis for computer programming, |n v.2 : |p deductive systems / |c Zohar Manna, Richard Waldinger.
- 260 __ |a Reading, Mass. : |b Addison-Wesley, |c c1985-c1990.
- 300 __ |a 642 p. : |b ill. ; |c 25 cm.
- 490 0_ |a Addison-Wesley series in computer science
- 504 __ |a Includes bibliographies and indexes.
- 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:2
- 950 __ |a 261060 |f TP311/E5:2
- 999 __ |t C |A zhaining |a 20050125 16:37:42 |M zhaining |m 20050125 16:38:52 |G zhaining |g 20050125 16:39:1