Login / Signup
The Agda Universal Algebra Library, Part 2: Structure.
William J. DeMeo
Published in:
CoRR (2021)
Keyphrases
</>
information technology
structural properties
data structure
artificial intelligence
expert systems