Suggested Topics within your search.
Showing 1 - 20 results of 22 for search '', query time: 0.04s Refine Results
  1. 1
    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
    Conference Proceeding Book
  2. 2
    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
    Book
  3. 3
    PROLOG : programming for artificial intelligence /

    PROLOG : programming for artificial intelligence / by Bratko, Ivan, 1946-

    Published 1990
    Book
  4. 4
    Programming in PROLOG /

    Programming in PROLOG / by Clocksin, William F., 1955-

    Published 1994
    Book
  5. 5
    Programming languages : implementations, logics and programs : Proceedings /

    Programming languages : implementations, logics and programs : Proceedings /

    Published 1995
    Conference Proceeding Book
  6. 6
    Algebraic methodology and software technology /

    Algebraic methodology and software technology /

    Published 1995
    Conference Proceeding Book
  7. 7
    Logic program synthesis and transformation /

    Logic program synthesis and transformation /

    Published 1997
    Conference Proceeding Book
  8. 8
    Algebraic methodology and software technology /

    Algebraic methodology and software technology /

    Published 1996
    Conference Proceeding Book
  9. 9
    Logic program synthesis and transformation /

    Logic program synthesis and transformation /

    Published 1996
    Conference Proceeding Book
  10. 10
    From logic programming to PROLOG /

    From logic programming to PROLOG / by Apt, Krzysztof R., 1949-

    Published 1997
    Book
  11. 11
    Deductive and object-oriented databases /

    Deductive and object-oriented databases /

    Published 1997
    Conference Proceeding Book
  12. 12
    Non-monotonic extensions of logic programming /

    Non-monotonic extensions of logic programming /

    Published 1997
    Conference Proceeding Book
  13. 13
    Handbook of logic in artificial intelligence and logic programming /

    Handbook of logic in artificial intelligence and logic programming /

    Published 1998
    Book
  14. 14
    An introduction to logic programming through PROLOG /

    An introduction to logic programming through PROLOG / by Spivey, J. Michael

    Published 1996
    Book
  15. 15
    P-Prolog : a parallel logic programming language /

    P-Prolog : a parallel logic programming language / by Yang, Rong

    Published 1987
    Book
  16. 16
    Logic programming and nonmonotonic reasoning /

    Logic programming and nonmonotonic reasoning /

    Published 1997
    Conference Proceeding Book
  17. 17
    Foundations of inductive logic programming /

    Foundations of inductive logic programming / by Nienhuys-Chen, Shan-Hwei, 1943-

    Published 1997
    Book
  18. 18
    Programming languages : implementations, logics and programs : 8th international symposium, PLILP ’96, Aachen, Germany, September 24-27, 1996 : proceedings /

    Programming languages : implementations, logics and programs : 8th international symposium, PLILP ’96, Aachen, Germany, September 24-27, 1996 : proceedings /

    Published 1996
    Conference Proceeding Book
  19. 19
    Logics in artificial intelligence : European Workshop, JELIA ’96, Évora, Portugal, September 30-October 3, 1996, proceedings /

    Logics in artificial intelligence : European Workshop, JELIA ’96, Évora, Portugal, September 30-October 3, 1996, proceedings /

    Published 1996
    Conference Proceeding Book
  20. 20
    Reasoning with logic programming /

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

    Published 1996
    Book

Search Tools: