73 results Refine Results
  1. 41
    Published 1991
    “...Lecture notes in computer science ;...”
    Book
    Save to List
    Saved in:
    Extensions of logic programming : international workshop, Tubingen, FRG, December 8-10, 1989 proceedings /
  2. 42
    Published 1991
    “...Lecture notes in computer science ;...”
    Conference Proceeding Book
    Save to List
    Saved in:
    Logics in AI : European Workshop JELIA '90, Amsterdam, the Netherlands, September 10-14, 1990, proceedings /
  3. 43
    by Burckert, H.-J (Hans-Jurgen)
    Published 1991
    “...Lecture notes in computer science ;...”
    Book
    Save to List
    Saved in:
    A resolution principle for a logic with restricted quantifiers /
  4. 44
    Published 1992
    “...Lecture notes in computer science ;...”
    Conference Proceeding Book
    Save to List
    Saved in:
    Logic programming in action : Second international Logic Programming Summer School, LPSS '92, Zurich, Switzerland, September 7-11, 1992 : proceedings /
  5. 45
    Published 1993
    “...Lecture notes in computer science ;...”
    Conference Proceeding Book
    Save to List
    Saved in:
    Extensions of logic programming : third international workshop, ELP '92, Bologna, Italy, February 26-28, 1992 : proceedings /
  6. 46
    by Plumer, Lutz
    Published 1990
    “...Lecture notes in computer science ;...”
    Book
    Save to List
    Saved in:
    Termination proofs for logic programs /
  7. 47
    by Hölldobler, Steffen, 1957-
    Published 1989
    “...Lecture notes in computer science ;...”
    Book
    Save to List
    Saved in:
    Foundations of equational logic programming /
  8. 48
    Published 1989
    “...Lecture notes in computer science ;...”
    Conference Proceeding Book
    Save to List
    Saved in:
    Logic programming '88 : proceedings of the 7th conference, Tokyo, Japan, April 11-14, 1988 /
  9. 49
    Published 1992
    “...Lecture notes in computer science ;...”
    Book
    Save to List
    Saved in:
    Extensions of logic programming : second international workshop, Stockholm, Sweden, January 27-29 1991, proceedings /
  10. 50
    Published 2005
    “...Lecture notes in computer science ;...”
    Connect to electronic resource
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
    Logic for programming, artificial intelligence, and reasoning 11th international conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005 : proceedings /
  11. 51
    Published 2005
    “...Lecture notes in computer science ;...”
    Connect to electronic resource
    Electronic Conference Proceeding Book
    Save to List
    Saved in:
    Applications of declarative programming and knowledge management 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 2004 : revised selected papers /
  12. 52
    Published 2005
    “...Lecture notes in computer science ;...”
    Connect to electronic resource
    Electronic Conference Proceeding Book
    Save to List
    Saved in:
    Constraint Satisfaction and Constraint Logic Programming ERCIM/CoLogNet International Workshop, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004 : revised selected and invited papers /
  13. 53
    Published 2005
    “...Lecture notes in computer science ;...”
    Connect to electronic resource
    Electronic Conference Proceeding Book
    Save to List
    Saved in:
    Inductive logic programming 15th international conference, ILP 2005, Bonn, Germany, August 10-13, 2005 : proceedings /
  14. 54
    Published 2005
    “...Lecture notes in computer science ;...”
    Connect to electronic resource
    Electronic Conference Proceeding Book
    Save to List
    Saved in:
    Constraint solving and language processing first international workshop, CSLP 2004, Roskilde, Denmark, September 1-3, 2004 : revised selected and invited papers /
  15. 55
    Published 2005
    “...Lecture notes in computer science ;...”
    Connect to electronic resource
    Electronic Conference Proceeding Book
    Save to List
    Saved in:
    Logic programming and nonmonotonic reasoning 8th international conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005 : proceedings /
  16. 56
    Published 2008
    “...Lecture notes in computer science ;...”
    Connect to electronic resource
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
    Inductive logic programming 18th International Conference, ILP 2008, Prague, Czech Republic, September 10-12, 2008 : proceedings /
  17. 57
    Published 2007
    “...Lecture notes in computer science ;...”
    Connect to electronic resource
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
    Logic for programming, artificial intelligence, and reasoning 14th international conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007 : proceedings /
  18. 58
    Published 2006
    “...Lecture notes in computer science ;...”
    Connect to electronic resource
    Electronic Conference Proceeding Book
    Save to List
    Saved in:
    Recent advances in constraints joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005, Uppsala, Sweden, June 20-22, 2005 : revised selected and invited papers /
  19. 59
    Published 2006
    “...Lecture notes in computer science ;...”
    Connect to electronic resource
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
    Logic for programming, artificial intelligence, and reasoning 13th international conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006 : proceedings /
  20. 60
    Published 2007
    “...Lecture notes in computer science ;...”
    Connect to electronic resource
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
    Recent advances in constraints 11th annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2006, Caparica, Portugal, June 26-28, 2006 : revised selected and invited papers /

Search Tools: