Login / Signup

Automatized Construction of Implicative Theory of Algebraic Identities of Size Up to 5.

Artem Revenko
Published in: ICFCA (2014)
Keyphrases