Bibsonomy :: author  ::

bookmarks

publications

(89)

• Logical basis for the automation of reasoning: Case studies.
  Larry Wos and Robert Veroff Handbook of Logic in Artificial Intelligence and Logic Programming (2) 1-40 (1994)
  to dblp by dblp on 2008-05-06 00:00:00
  | URL | BibTeX  
• Job-Shop Scheduling Using Automated Reasoning: A Case Study of the Car-Sequencing Problem
  Bruce D. Parrello and Waldo C. Kabat and L. Wos Journal of Automated Reasoning 2 1--42 (1986)
  to nn by idsia and 1 other person on 2008-03-11 14:52:34
  | BibTeX  
• Job-Shop Scheduling Using Automated Reasoning: A Case Study of the Car-Sequencing Problem
  Bruce D. Parrello and Waldo C. Kabat and L. Wos Journal of Automated Reasoning 2 1--42 (1986)
  to nn by schaul and 1 other person on 2008-02-26 11:58:58
  | BibTeX  
• Double-Negation Elimination in Some Propositional Logics
  Michael Beeson and Robert Veroff and Larry Wos CoRR cs.LO/0301026 (2003)
  to dblp by dblp on 2008-01-02 00:00:00
  | URL | BibTeX  
• XCB, the Last of the Shortest Single Axioms for the Classical Equivalential Calculus
  Larry Wos and Dolph Ulrich and Branden Fitelson CoRR cs.LO/0211015 (2002)
  to dblp by dblp on 2008-01-02 00:00:00
  | URL | BibTeX  
• Vanquishing the XCB Question: The Methodology Discovery of the Last Shortest Single Axiom for the Equivalential Calculus
  Larry Wos and Dolph Ulrich and Branden Fitelson CoRR cs.LO/0211014 (2002)
  to dblp by dblp on 2008-01-02 00:00:00
  | URL | BibTeX  
• A Spectrum of Applications of Automated Reasoning
  Larry Wos CoRR cs.AI/0205078 (2002)
  to dblp by dblp on 2008-01-02 00:00:00
  | URL | BibTeX  
• Milestones for Automated Reasoning with Otter.
  Larry Wos International Journal on Artificial Intelligence Tools 15 3-20 (2006)
  to dblp by dblp on 2006-05-19 00:00:00
  | URL | BibTeX  
• Automated Reasoning: Introduction and Applications
  L. Wos and R. Overbeek and E. Lusk and J. Boyle (1984)
  to atp by diana on 2006-03-09 15:13:30
  | BibTeX  
• Double-Negation Elimination in Some Propositional Logics.
  Michael Beeson and Robert Veroff and Larry Wos Studia Logica 80 195-234 (2005)
  to dblp by dblp on 2006-01-13 00:00:00
  | URL | BibTeX