Register | Log in | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

gabgas's theorem [5 articles]

Recent papers added to gabgas's library classified by the tag theorem. You can also see everyone's theorem.
  • Structured Theory Development for a Mechanized Logic
    Journal of Automated Reasoning, Vol. 26, No. 2. (2001), pp. 161-203.
    by Matt Kaufmann, Strother J Moore
    posted to acl2 proving theorem by gabgas on 2008-02-20 13:02:31 as *** along with 1 person and 1 group scis0000001 Theorem Proving
  • Functional instantiation in first-order logic
    (1991), pp. 7-26.
    by Robert S Boyer, David M Goldschlag, Matt Kaufmann, Strother J Moore
    posted to acl2 proving theorem by gabgas on 2008-02-19 20:28:29 as read along with 1 group Theorem Proving
  • Representing and Reasoning with Operational Semantics
    Automated Reasoning (2006), pp. 4-20.
    by Dale Miller
    posted to proving theorem by gabgas on 2008-01-18 21:08:19 as read along with 1 group Theorem Proving
  • A Science of Reasoning
    Lecture Notes in Computer Science, Vol. 1397 (1998), pp. 10-??.
    by Alan Bundy
    posted to planning proof proving theorem by gabgas on 2007-12-17 13:45:14 as read
  • A Computational Induction Principle
    by Scott Smith
    posted to proving theorem by gabgas on 2007-11-08 19:52:13 as ***
    • Note: You may cite this page as: http://www.citeulike.org/user/gabgas/tag/theorem

    RIS BibTeX RSS
    CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.