Keyword:proof

Papers
Analysis and Direct Proof of the Riemann Hypothesis Víctor Blanco Bataller EasyChair Preprint no. 10747
Using Toulmin Model to Analyze Undergraduate Students' Combinatorial Argumentation Zahra Alhumairah Basa, Yusuf Hartono, Nyimas Aisyah and Cecil Hiltrimartin EasyChair Preprint no. 10609
A Philosophical Unification of Arithmetics and Electronic Machine. Frank Appiah EasyChair Preprint no. 8691
Syntactic Computation of Model Composites of Enactment Logic. Frank Appiah EasyChair Preprint no. 6194
Clausal Proof Compression Marijn Heule and Armin Biere In:IWIL-2015. 11th International Workshop on the Implementation of Logics
Bidirectional Functional Semantics for Pregroup Grammars Gabriel Gaudreault In:NLCS'15. Third Workshop on Natural Language and Computer Science
Different Proofs are Good Proofs Geoff Sutcliffe, Cynthia Chang, Li Ding, Deborah McGuinness and Paulo Pinheiro In:EMSQMS 2010. Workshop on Evaluation Methods for Solvers, and Quality Metrics for Solutions