Login / Signup

Propositional Proofs in Frege and Extended Frege Systems (Abstract).

Sam Buss
Published in: CSR (2015)
Keyphrases
  • distributed systems
  • building blocks
  • database
  • e learning
  • expert systems