机读格式显示(MARC)

• 000 01057cam 2200337 a 4500

• 001 0000157116

• 003 CAL

• 005 20060918082500.0

• 008 060918s1983 wb a b 00000 eng

• 010 __ |a 83172968

• 020 __ |a 3540120432 (v. 1)

• 020 __ |a 0387120432 (U.S. : v. 1)

• 020 __ |a 0387120440 (U.S. : v. 2)

• 037 __ |b 410299(v. 1)

• 037 __ |b 410300(v. 2) |d Y97.20

• 040 __ |c NKL

• 090 __ |a 73.87221/S571

• 093 __ |a 73.87221 |2 4

• 099 __ |a CAL 021999617765 |a CAL 022000307296

• 245 00 |a Automation of reasoning / |c edited by J. Siekmann and Graham Wrightson.

• 260 __ |a Berlin : |b Springer, |c 1983.

• 300 __ |a 2 v. : |b ill. ; |c 25 cm.

• 500 __ |a Library has: v. 1-2.

• 504 __ |a Includes bibliographical references.

• 505 0_ |a v. 1. Classical papers on computational logic 1957-1966 -- v. 2. Classical papers on computational logic 1967-1970.

• 650 _0 |a Automatic theorem proving.

• 700 1_ |a Siekmann, J.

• 700 1_ |a Wrightson, Graham.

• 920 __ |a 212010 |z 1

• 920 __ |a 244050 |z 1

• 998 __ |a SJT