28 treff

International Conference on Logic Programming
Logic programming : 22nd international conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings
International Conference on Logic Programming
Bok Engelsk 2006
Logic programming : 21th international conference, ICLP 2005, Sitges, Spain, October 2-5, 2005 : proceedings
International Conference on Logic Programming
Bok Engelsk 2005
Logic programming : 20th international conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004 : proceedings
International Conference on Logic Programming
Bok Engelsk 2004
Logic programming : 19th international conference, ICLP 2003, Mumbai, India, December 9-13, 2003 : proceedings
International Conference on Logic Programming
Bok Engelsk 2003
Logic programming : 18th international conference, ICLP 2002, Copenhagen, Denmark, July 29-August 1, 2002 : proceedings
International Conference on Logic Programming
Bok Engelsk 2002
Logic programming : 17th international conference, ICLP 2001, Paphos, Cyprus, November 26-December 1, 2001 : proceedings
International Conference on Logic Programming
Bok Engelsk 2001
Algebraic and logic programming : 6th international joint conference, ALP '97 - HOA '97, Southampton, UK, September 3-5, 1997 : proceedings
International Conference on Algebraic and Logic Programming
Bok Engelsk 1997
Algebraic and logic programming : 5th international conference, ALP'96, Aachen, Germany, September 25-27, 1996 : proceedings
International Conference on Algebraic and Logic Programming
Bok Engelsk 1996
Third International Conference on Logic Programming : Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986 : proceedings
International Conference on Logic Programming
Bok Språk ikke angitt 1986
Algebraic and logic programming : 4th international conference, ALP '94, Madrid, Spain, September 14-16, 1994 : proceedings
International Conference on Algebraic and Logic Programming
Bok Engelsk 1994
Logic programming and nonmonotonic reasoning : 5th international conference, LPNMR '99, El Paso, Texas, USA, December 2-4, 1999 : proceedings
International Conference on Logic Programming and Non-monotonic Reasoning
Bok Engelsk 1999
Logic programming and nonmonotonic reasoning : 8th international conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005 : proceedings
International Conference on Logic Programming and Nonmonotonic Reasoning
Bok Engelsk 2005
Logic programming and nonmonotonic reasoning : 7th international conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004 : proceedings
International Conference on Logic Programming and Nonmonotonic Reasoning
Bok Engelsk 2004
Logic programming and nonmonotonic reasoning : 6th international conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001 : proceedings
International Conference on Logic Programming and Nonmonotonic Reasoning
Bok Engelsk 2001
Logic programming and nonmonotonic reasoning : 4th international conference, LPNMR '97, Dagstuhl Castle, Germany, July 28-31, 1997 : proceedings
International Conference on Logic Programming and Non-monotonic Reasoning
Bok Engelsk 1997
Logic programming and nonmonotonic reasoning : third international conference, LPNMR '95, Lexington, KY, USA, June 26-28, 1995 : proceedings
International Conference on Logic Programming and Non-monotonic Reasoning
Bok Engelsk 1995
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 Programmming, WLP 2004, Potsdam, Germany, March 4-6, 2004 : revised selected papers
International Conference on Applications of Declarative Programming and Knowledge Management
Bok Engelsk 2005
Evolvable systems : from biology to hardware : first international conference, ICES96, Tsukuba, Japan, October 7-8, 1996 : proceedings
International Conference on Evolvable Systems
Bok Engelsk 1997
Inductive logic programming : 8th international conference, ILP-98, Madison, Wisconsin, USA, July 22-24, 1998 : proceedings
International Workshop on Inductive Logic Programming
Bok Engelsk 1998
Implementations of logic programming systems
edited by Evan Tick, Giancarlo Succi
Bok Engelsk 1994
Non-monotonic extensions of logic programming : ICLP '94 Workshop, Santa Margherita Ligure, Italy, June 17, 1994 : selected papers
ICLP '94 Worksop
Bok Engelsk 1995
Algebraic and logic programming : third international conference, Volterra, Italy, September 2-4, 1992 : proceedings
H. Kirchner, G. Levi (eds.)
Bok Engelsk 1992
Algebraic and logic programming : second international conference, Nancy, France, October 1-3, 1990 : proceedings
H. Kirchner, W. Wechler (eds.)
Bok Engelsk 1990
Parallel execution of logic programs : ICLP '91 pre-conference workshop, Paris, June 24, 1991 : proceedings
A. Beaumont, G. Gupta (eds.)
Bok Engelsk 1991
Semantics, applications, and implementation of program generation : second international workshop, SAIG 2001, Florence, Italy, September 6, 2001 : proceedings
SAIG 2001
Bok Engelsk 2001
Semantics, applications, and implementation of program generation : international workshop, SAIG 2000, Montreal, Canada, September 20, 2000 : proceedings
SAIG 2000
Bok Engelsk 2000
Principles of declarative programming : 10th international symposium, PLILP'98 : held jointly with the 6th international conference, ALP'98, Pisa, Italy, September 16-18, 1998 : proceedings
PLILP '98
Bok Engelsk 1998
Executable modal and temporal logics : IJCAI '93 workshop, Chambéry, France, August 28, 1993 : proceedings
Michael Fisher, Richard Owens (eds.)
Bok Engelsk 1995