Login / Signup

Information in Propositional Proofs and Algorithmic Proof Search.

Jan Krajícek
Published in: J. Symb. Log. (2022)
Keyphrases
  • theorem proving
  • natural language