00992cam a2200277 a 4500 20260817170904.0 080624s1996 gw r 100|0 eng | 3540613986 .b11529933 QA76.9 A96 M38 McCune, William Automated deduction in equational logic and cubic curves / ... and R. Padmanabhan Berlin : Springer, 1996 231 p. Lecture notes in computer science. Lecture notes in artificial intelligence ; v. 1095 Automatic theorem proving Curves, Algebraic Padmanabhan, Ranganathan, 1938- .b11529933 mngc - 121029 0 970203 m a - 0 mngc 14 Barcode : 30050004048749 CREATED : 1997-03-02 RECORD # : i11900155 LPATRON : 0 LCHKIN : - # RENEWALS : 0 # OVERDUE : 0 IUSE3 : 0 TOT CHKOUT : 0 TOT RENEW : 0 10128 10128 0 0 0 0 MAIN MAIN mngc 2026-08-17 0 QA76.9 A96 M38 30050004048749 2026-08-17 17:09:04 1 2026-08-17 14