Login / Signup
Single Axioms for the Left Group and the Right Group Calculi.
William McCune
Published in:
Notre Dame J. Formal Log. (1993)
Keyphrases
</>
data sets
multimedia
learning environment
information technology
group members
group membership