Automated Deduction In Equational Logic And Cubic Curves /
McCune, W.
Automated Deduction In Equational Logic And Cubic Curves / W. McCune, R. Padmanabhan - Berlin: Springer, 1996 - 231 p.
Mathematical logic (Symbolic logic)
Automatic theorem proving
Algebraic geometry
511.3 511.36028563 516.35
Automated Deduction In Equational Logic And Cubic Curves / W. McCune, R. Padmanabhan - Berlin: Springer, 1996 - 231 p.
Mathematical logic (Symbolic logic)
Automatic theorem proving
Algebraic geometry
511.3 511.36028563 516.35