Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- constraint logic programming 12 Treffer
- logic program 12 Treffer
- logic programming 12 Treffer
- constraint satisfaction problem 5 Treffer
- finite domain 4 Treffer
-
45 weitere Werte:
- constraint system 3 Treffer
- operational semantic 3 Treffer
- aggregate function 2 Treffer
- choice point 2 Treffer
- constraint logic 2 Treffer
- domain constraint 2 Treffer
- frame problem 2 Treffer
- interval constraint 2 Treffer
- local consistency 2 Treffer
- situation calculus 2 Treffer
- approximate inverse 1 Treffer
- atomic formula 1 Treffer
- binary constraint 1 Treffer
- board size 1 Treffer
- boolean constraint 1 Treffer
- boolean function 1 Treffer
- call graph 1 Treffer
- calling pattern 1 Treffer
- combinatorial problem 1 Treffer
- complex function 1 Treffer
- constraint handling 1 Treffer
- constraint logic program 1 Treffer
- constraint program 1 Treffer
- constraint programming 1 Treffer
- constraint propagation 1 Treffer
- constraint store 1 Treffer
- cooperation strategy 1 Treffer
- decimal digit 1 Treffer
- declarative language 1 Treffer
- declarative semantic 1 Treffer
- design rule 1 Treffer
- domain variable 1 Treffer
- esprit project 1 Treffer
- event calculus 1 Treffer
- extend logic program 1 Treffer
- external view 1 Treffer
- generalize resolution 1 Treffer
- graphical depiction 1 Treffer
- ground representation 1 Treffer
- head variable 1 Treffer
- heuristic strategy 1 Treffer
- horn clause 1 Treffer
- hybrid algorithm 1 Treffer
- industrial presentations 1 Treffer
- inference engine 1 Treffer
Verlag
Publikation
- computational logic - cl 2000 : first international conference london, uk, july 24-28, 2000 proceedings 2 Treffer
- logic-based 0-1 constraint programming 2 Treffer
- principles and practice of constraint programming - cp '95 : first international conference, cp '95 cassis, france, september 19-22, 1995 proceedings 2 Treffer
- principles and practice of constraint programming - cp98 : 4th international conference, cp98 pisa, italy, october 26-30, 1998 proceedings 2 Treffer
- advanced topics in artificial intelligence : international summer school prague, czechoslovakia, july 6-17, 1992 proceedings 1 Treffer
-
24 weitere Werte:
- algebraic and logic programming : 5th international conference, alp'96 aachen, germany, september 25-27, 1996 proceedings 1 Treffer
- analysis and visualization tools for constraint programming : constraint debugging 1 Treffer
- constraint programming: basics and trends : 1994 chatillon spring school chatillon-sur-seine, france, may 16-20, 1994 selected papers 1 Treffer
- essentials of constraint programming 1 Treffer
- formal verification of object-oriented software : international conference, foveoos 2010, paris, france, june 28-30, 2010, revised selected papers 1 Treffer
- intelligent systems : concepts and applications 1 Treffer
- language, life, limits : 10th conference on computability in europe, cie 2014, budapest, hungary, june 23-27, 2014. proceedings 1 Treffer
- logic programming : 18th international conference, iclp 2002 copenhagen, denmark, july 29 - august 1, 2002 proceedings 1 Treffer
- logic programming : 20th international conference, iclp 2004, saint-malo, france, september 6-10, 2004. proceedings 1 Treffer
- logic programming : 21st international conference, iclp 2005, sitges, spain, october 2-5, 2005. proceedings 1 Treffer
- logic programming : 23rd international conference, iclp 2007, porto, portugal, september 8-13, 2007. proceedings 1 Treffer
- logic programming and automated reasoning : 4th international conference, lpar'93 st. petersburg, russia, july 13-20, 1993 proceedings 1 Treffer
- logic programming and automated reasoning : 5th international conference, lpar '94 kiev, ukraine, july 16-22, 1994 proceedings 1 Treffer
- logic programming and nonmonotonic reasoning : 4th international conference, lpnmr '97 dagstuhl castle, germany, july 28-31, 1997 proceedings 1 Treffer
- logic programming and nonmonotonic reasoning : 7th international conference, lpnmr 2004 fort lauderdale, fl, usa, january 6-8, 2004 proceedings 1 Treffer
- logic programming in action : second international logic programming summer school, lpss '92 zurich, switzerland, september 7-11, 1992 proceedings 1 Treffer
- perspectives of systems informatics : 6th international andrei ershov memorial conference, psi 2006, novosibirsk, russia, june 27-30, 2006. revised papers 1 Treffer
- practical aspects of declarative languages : 8th international symposium, padl 2006, charleston, sc, usa, january 9-10, 2006. proceedings 1 Treffer
- practical aspects of declarative languages : second internationalworkshop, padl 2000 boston, ma, usa, january 17-18, 2000 proceedings 1 Treffer
- principles and practice of constraint programming - cp 2005 : 11th international conference, cp 2005, sitges, spain, october 1-5, 2005. proceedings 1 Treffer
- principles and practice of constraint programming - cp96 : second international conference, cp96 cambridge, ma, usa, august 19-22, 1996 proceedings 1 Treffer
- progamming language implementation and logic programming : 5th international symposium, plilp '93 tallinn, estonia, august 25-27, 1993 proceedings 1 Treffer
- programming language implementation and logic programming : 4th international symposium, plilp'92 leuven, belgium, august 26-28, 1992 proceedings 1 Treffer
- programming language implementation and logic programming : international workshop plilp '90 linkoping, sweden, august 20-22, 1990 proceedings 1 Treffer
Sprache
33 Treffer
-
1995Online E-BookZugriff:
-
2000Online E-BookZugriff:
-
2004Online E-BookZugriff:
-
1995Online E-BookZugriff:
-
1994Online E-BookZugriff:
-
1992Online E-BookZugriff:
-
2006Online E-BookZugriff:
-
In: Essentials of Constraint Programming; (2003) S. 77-82Online E-BookZugriff:
-
2000Online E-BookZugriff:
-
2000Online E-BookZugriff:
-
1998Online E-BookZugriff:
-
1997Online E-BookZugriff:
-
1996Online E-BookZugriff:
-
1992Online E-BookZugriff:
-
1992Online E-BookZugriff:
-
1990Online E-BookZugriff: