Larry Wos

Identifiers

No identifiers captured yet.

Papers (5)

1. Finding Proofs in Tarskian Geometry cs.AI · 2016 · author #2
2. Double-Negation Elimination in Some Propositional Logics cs.LO · 2003 · author #3
3. XCB, the Last of the Shortest Single Axioms for the Classical Equivalential Calculus cs.LO · 2002 · author #1
4. Vanquishing the XCB Question: The Methodology Discovery of the Last Shortest Single Axiom for the Equivalential Calculus cs.LO · 2002 · author #1
5. A Spectrum of Applications of Automated Reasoning cs.AI · 2002 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Branden Fitelson 2 shared papers
• Dolph Ulrich 2 shared papers
• Michael Beeson 2 shared papers
• Robert Veroff 1 shared papers