Suggested Topics within your search.
Showing 1 - 9 results of 9 for search '"theorem"', query time: 0.05s Refine Results
  1. 1
    Conditional and typed rewriting systems : Proceedings /

    Conditional and typed rewriting systems : Proceedings /

    Published 1995
    Subjects:
    Conference Proceeding Book
  2. 2
    Algebraic and logic programming /

    Algebraic and logic programming /

    Published 1994
    Subjects:
    Conference Proceeding Book
  3. 3
    Algebraic and logic programming : 6th international joint conference, ALP '97-HOA '97, Southampton, UK, September 3-5, 1997 : proceedings /

    Algebraic and logic programming : 6th international joint conference, ALP '97-HOA '97, Southampton, UK, September 3-5, 1997 : proceedings /

    Published 1997
    Subjects:
    Conference Proceeding Book
  4. 4
    Typed lambda calculi and applications : 11th International Conference, TLCA 2013, Eindhoven, the Netherlands, June 26-28, 2013 : proceedings /

    Typed lambda calculi and applications : 11th International Conference, TLCA 2013, Eindhoven, the Netherlands, June 26-28, 2013 : proceedings /

    Published 2013
    Subjects:
    Book
  5. 5
    Rewriting techniques and applications /

    Rewriting techniques and applications /

    Published 1997
    Subjects:
    Conference Proceeding Book
  6. 6
    Rewriting techniques and applications /

    Rewriting techniques and applications /

    Published 1996
    Subjects:
    Conference Proceeding Book
  7. 7
    Design and implementation of symbolic computation systems /

    Design and implementation of symbolic computation systems /

    Published 1996
    Subjects:
    Conference Proceeding Book
  8. 8
    Computer aided verification : 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings /

    Computer aided verification : 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings /

    Published 2006
    Subjects:
    Conference Proceeding Book
  9. 9
    Reasoning with logic programming /

    Reasoning with logic programming / by Alferes, José Júlio, 1966-

    Published 1996
    Subjects:
    Book

Search Tools: