Suggested Topics within your search.
Showing 41 - 60 results of 99 for search '"logic programming"', query time: 0.04s Refine Results
  1. 41
    Logic programming and automated reasoning : 5th International Conference, LPAR '94, Kiev, Ukraine, July 16-22, 1994 : proceedings /
    Conference Proceeding Book
    Published 1994
    Subjects: “…Logic programming Congresses.…”
    Save to List
    Saved in:
  2. 42
    Logic programming and automated reasoning : 4th international conference, LPAR '93, St. Petersburg, Russia, July 13-20, 1993 : proceedings /
    Conference Proceeding Book
    Published 1993
    Subjects: “…Logic programming Congresses.…”
    Save to List
    Saved in:
  3. 43
    Logic programming and nonmonotonic reasoning : third international conference, LPNMR '95, Lexington, KY, USA, June 24-28, 1995 : proceedings /
    Conference Proceeding Book
    Published 1995
    Subjects: “…Logic programming Congresses.…”
    Save to List
    Saved in:
  4. 44
    International Workshop on Inductive Logic Programming (ILP92) /
    Conference Proceeding Book
    Published 1992
    Table of Contents: “… reasoning / Jantke, K. -- A personal approach to linguistics oriented inductive logic programming / Koch, G…”
    Save to List
    Saved in:
  5. 45
    Conclog : a methodological approach to concurrent logic programming /
    Book
    by Jacquet, J.-M. (Jean-Marie)
    Published 1991
    Subjects: “…Logic programming.…”
    Save to List
    Saved in:
  6. 46
    Proceedings of the Second International Logic Programming Conference, Uppsala University, Uppsala, Sweden, July 2-6, 1984 /
    Conference Proceeding Book
    Published 1984
    Subjects: “…Logic programming Congresses.…”
    Save to List
    Saved in:
  7. 47
    ALPUK 92 : proceedings of the 4th UK Conference on Logic Programming, London, 30 March-1 April 1992 /
    Conference Proceeding Book
    Published 1993
    Subjects: “…Logic programming Congresses.…”
    Save to List
    Saved in:
  8. 48
    Meta-programmming in logic : third international workshop, META-92, Uppsala, Sweden, June 10-12, 1992 : proceedings /
    Conference Proceeding Book
    Published 1992
    Subjects: “…Logic programming Congresses.…”
    Save to List
    Saved in:
  9. 49
    Logic program synthesis and transformation-- Meta-programming in Logic : 4th international workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20-20, 1994 : proceedings /
    Conference Proceeding Book
    Published 1994
    Subjects: “…Logic programming Congresses.…”
    Save to List
    Saved in:
  10. 50
    Third International Conference on Logic Programming, Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986 : proceedings /
    Conference Proceeding Book
    Published 1986
    Subjects: “…Logic programming Congresses.…”
    Save to List
    Saved in:
  11. 51
    Programming language implementation and logic programming : 5th International Symposium, PLILP '93, Tallinn, Estonia, August 1993 : proceedings /
    Conference Proceeding Book
    Published 1993
    Subjects: “…Logic programming Congresses.…”
    Save to List
    Saved in:
  12. 52
    Non-monotonic extensions of logic programming : ICLP '94 workshop, Santa Margherita Ligure, Italy, June 17, 1994 : selected papers /
    Conference Proceeding Book
    Published 1995
    Table of Contents: “… and Disjunctive Logic Programs: A Unifying Framework / T. C. Przymusinski -- Every Normal Program has a Nearly…”
    Save to List
    Saved in:
  13. 53
    Live data structures in logic programs : derivation by means of abstract interpretation /
    Book
    by Mulkers, Anne, 1960-
    Published 1993
    Save to List
    Saved in:
  14. 54
    Programming language implementation and logic programming : 3rd International Symposium, PLILP '91, Passau, Germany, August 26-28, 1991 : proceedings /
    Conference Proceeding Book
    Published 1991
    Subjects: “…Logic programming Congresses.…”
    Save to List
    Saved in:
  15. 55
    Programming language implementation and logic programming : international workshop PLILP '90, Linköping, Sweden, August 20-22, 1990 : proceedings /
    Conference Proceeding Book
    Published 1990
    Subjects: “…Logic programming Congresses.…”
    Save to List
    Saved in:
  16. 56
    Programming languages implementation and logic programming : international workshop, PLILP '88, Orléans, France, May 16-18, 1988 : proceedings /
    Conference Proceeding Book
    Published 1989
    Subjects: “…Logic programming Congresses.…”
    Save to List
    Saved in:
  17. 57
    From logic design to logic programming : theorem proving techniques and P-functions /
    Book
    by Snyers, Dominique, 1959-
    Published 1987
    Subjects: “…Logic programming.…”
    Save to List
    Saved in:
  18. 58
    Programming language implementation and logic programming : 6th international symposium, PLILP '94, Madrid, Spain, September 14-16, 1994 : proceedings /
    Conference Proceeding Book
    Published 1994
    Subjects: “…Logic programming Congresses.…”
    Save to List
    Saved in:
  19. 59
    Logic grammars : with 40 illustrations /
    Book
    by Abramson, Harvey
    Published 1989
    Subjects: “…Logic programming.…”
    Save to List
    Saved in:
  20. 60
    Computing in Horn clause theories /
    Book
    by Padawitz, Peter, 1953-
    Published 1988
    Subjects: “…Logic programming.…”
    Save to List
    Saved in:
Search Tools: RSS Feed – Email Search – Save Search