Login / Signup

Defining Logical Systems via Algebraic Constraints on Proofs.

Alexander V. GheorghiuDavid J. Pym
Published in: CoRR (2023)
Keyphrases
  • expert systems
  • management system
  • building blocks
  • learning systems
  • dynamic constraints