Suggested Topics within your search.
Showing 1 - 10 results of 10 for search '"theorem"', query time: 0.02s Refine Results
  1. 1
    Handbook of logic in artificial intelligence and logic programming /

    Handbook of logic in artificial intelligence and logic programming /

    Published 1998
    Subjects:
    Book
  2. 2
    Non-monotonic extensions of logic programming /

    Non-monotonic extensions of logic programming /

    Published 1997
    Subjects:
    Conference Proceeding Book
  3. 3
    Extensions of logic programming /

    Extensions of logic programming /

    Published 1996
    Subjects:
    Conference Proceeding Book
  4. 4
    Typed lambda calculi and applications : 9th International Conference, TICA 2009, Brasilia, Brazil, July 1-3, 2009 : proceedings /

    Typed lambda calculi and applications : 9th International Conference, TICA 2009, Brasilia, Brazil, July 1-3, 2009 : proceedings /

    Published 2009
    Subjects:
    Conference Proceeding Book
  5. 5
    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
  6. 6
    Logic programming and nonmonotonic reasoning /

    Logic programming and nonmonotonic reasoning /

    Published 1997
    Subjects:
    Conference Proceeding Book
  7. 7
    Algebraic methodology and software technology /

    Algebraic methodology and software technology /

    Published 1995
    Subjects:
    Conference Proceeding Book
  8. 8
    Algebraic methodology and software technology /

    Algebraic methodology and software technology /

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

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

    Published 1996
    Subjects:
    Book
  10. 10
    Over-constrained systems /

    Over-constrained systems /

    Published 1996
    Subjects:
    Book

Search Tools: