Equational Theories of Fields.

Amador Martin-Pizarro Martin Ziegler

Published in: J. Symb. Log. (2020)

Keyphrases

equational theories
theorem proving
general purpose
function symbols
databases
computer vision
expert systems
data model
logic programming