Automated deduction in equational logic and cubic curves

Descrição: This monograph is the result of the cooperation of a mathematician working in universal algebra and geometry, and a... Veja mais