DOI

Original languageEnglish
Pages (from-to)4977-4984
Number of pages8
JournalApplied Mathematical Sciences
Volume8
Issue number97-100
DOIs
Publication statusPublished - 1 Jan 2014

    ASJC Scopus subject areas

  • Applied Mathematics

    Research areas

  • Automated proof search, Natural deduction, Proof theory, Sequent calculus

ID: 296022