42 treff

logikkprogrammering notrbib real009516
Logikk, Prolog og Parlog
Terje Kristensen
Bok Bokmål 1992 · Les boka på nett · Vis mer
Agent-oriented programming : from Prolog to guarded definite clauses
Matthew M. Huntbach, Graem A. Ringwood
Bok Engelsk 1999 · Vis mer
The clausal theory of types
Wolfram, D. A.
Bok Engelsk 1993 · Vis mer
Logic based program synthesis and transformation : 13th international symposium, LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003 : revised selected papers
LOPSTR 2003
Bok Engelsk 2004 · Vis mer
Vis flere utgaver
Vis flere utgaver
Logic based program synthesis and transformation : 12th international workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002 : revised selected papers
LOPSTR 2002
Bok Engelsk 2003 · Vis mer
Vis flere utgaver
Vis flere utgaver
Logic based program synthesis and transformation : 11th international workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001 : selected papers
LOPSTR 2001
Bok Engelsk 2002 · Vis mer
Isabelle/HOL : a proof assistant for higher-order logic
Tobias Nipkow, Lawrence C. Paulson, Marku...
Bok Engelsk 2002 · Vis mer
Programming constraint services : high-level programming of standard and new constraint services
Christian Schulte
Bok Engelsk 2002 · Vis mer
Vis flere utgaver
Vis flere utgaver
Progress in artificial intelligence : knowledge, extraction, multi-agent systems, logic programming, and constraint solving : 10th Portuguese Conference on Artificial Intelligence, EPIA 2001, Porto, Portugal, December 17-20, 2001 : proceedings
Portuguese Conference on Artificial Intelligence
Bok Engelsk 2001 · Vis mer
Advances in computer science - ASIAN 2004 : higher-level decision making : 9th Asian Computing Science Conference, dedicated to Jean-Louis Lassez on the occasion of his 5th cycle birthday, Chiang Mai, Thailand, December 8-10, 2004 : proceedings
Asian Computing Science Conference
Bok Engelsk 2004 · Vis mer
Vis flere utgaver
Vis flere utgaver
Semirings for soft constraint solving and programming
Stefano Bistarelli
Bok Engelsk 2004 · Vis mer
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 · Vis mer
Vis flere utgaver
Vis flere utgaver
Logics in artificial intelligence : 9th European conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004 : proceedings
JELIA 2004
Bok Engelsk 2004 · Vis mer
Vis flere utgaver
Vis flere utgaver
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 · Vis mer
Computational logic : logic programming and beyond : essays in honour of Robert A. Kowalski. Pt. 1.

Bok Engelsk 2002 · Vis mer
Computational logic : logic programming and beyond : essays in honour of Robert A. Kowalski. Pt. 2.

Bok Engelsk 2002 · Vis mer
Logics in artificial intelligence : 8th European conference, JELIA 2002, Cosenza, Italy, September 23-26, 2002 : proceedings
JELIA 2002
Bok Engelsk 2002 · Vis mer
Vis flere utgaver
Vis flere utgaver
Constraints in computational logics : theory and applicatons : international summer school, CCL'99, Gif-sur-Yvette, France, September 5-8, 1999 : revised lectures
CCL '99
Bok Engelsk 2001 · Vis mer
Parallel logic programming in PARLOG : the language and its implementation
Steve Gregory
Bok Engelsk 1987 · Vis mer
Fifth generation computer systems : proceedings of the International Conference on Fifth Generation Computer Systems, Tokyo, Japan, October 19-22, 1981
International Conference on Fifth Generation Computer Systems
Bok Engelsk 1982 · Vis mer
WCFLP '05 : proceedings of the ACM SIGPLAN 2005 Workshop on Curry and Logic Programming, September 29, 2005, Tallinn, Estonia
Workshop on Curry and Functional Logic Programming
Bok Engelsk 2005 · Vis mer
Inductive logic programming : 14th international conference, ILP 2004, Porto, Portugal, September 6-8, 2004 : proceedings
ILP 2004
Bok Engelsk 2004 · Vis mer
Vis flere utgaver
Vis flere utgaver
Logic programming : 20th international conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004 : proceedings
International Conference on Logic Programming
Bok Engelsk 2004 · Vis mer
Vis flere utgaver
Vis flere utgaver
Functional and logic programming : 7th international symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004 : proceedings
International Symposium on Functional and Logic Programming
Bok Engelsk 2004 · Vis mer
Vis flere utgaver
Vis flere utgaver
Inductive logic programming : 10th international conference, ILP 2000, London, UK, July 24-27, 2000 : proceedings
ILP 2000
Bok Engelsk 2000 · Vis mer
Logic for programming and automated reasoning : 6th international conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999 : proceedings
LPAR '99
Bok Engelsk 1999 · Vis mer
Inductive logic programming : 12th international conference, ILP 2002, Sydney, Australia, July 9-11, 2002 : revised papers
ILP 2002
Bok Engelsk 2003 · Vis mer
Vis flere utgaver
Vis flere utgaver
Inductive logic programming : 13th international conference, ILP 2003, Szeged, Hungary, September 29-October 1, 2003 : proceedings
ILP 2003
Bok Engelsk 2003 · Vis mer
Logic programming : 19th international conference, ICLP 2003, Mumbai, India, December 9-13, 2003 : proceedings
International Conference on Logic Programming
Bok Engelsk 2003 · Vis mer
Vis flere utgaver
Vis flere utgaver
Logic programming : 18th international conference, ICLP 2002, Copenhagen, Denmark, July 29-August 1, 2002 : proceedings
International Conference on Logic Programming
Bok Engelsk 2002 · Vis mer
Vis flere utgaver
Vis flere utgaver