Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- logic program 48 Treffer
- constraint logic programming 16 Treffer
- operational semantic 16 Treffer
- constraint solver 12 Treffer
- constraint programming 10 Treffer
-
45 weitere Werte:
- constraint system 10 Treffer
- predicate symbol 10 Treffer
- constraint satisfaction problem 7 Treffer
- constraint logic 6 Treffer
- finite domain 4 Treffer
- horn clause 4 Treffer
- integrity constraint 4 Treffer
- choice point 3 Treffer
- contributed papers 3 Treffer
- function symbol 3 Treffer
- aggregate function 2 Treffer
- atomic formula 2 Treffer
- constraint network 2 Treffer
- constraint program 2 Treffer
- constraint propagation 2 Treffer
- constraint satisfaction 2 Treffer
- constraints 2 Treffer
- disjunctive normal form 2 Treffer
- intuitionistic logic 2 Treffer
- level mapping 2 Treffer
- linear constraint 2 Treffer
- local consistency 2 Treffer
- logic programming language 2 Treffer
- model check 2 Treffer
- multiagent system 2 Treffer
- program transformation 2 Treffer
- prolog 2 Treffer
- proof system 2 Treffer
- safety property 2 Treffer
- stable model 2 Treffer
- symbolic execution 2 Treffer
- temporal logic 2 Treffer
- transition rule 2 Treffer
- abstract domain 1 Treffer
- abstract interpretation 1 Treffer
- action description 1 Treffer
- action language 1 Treffer
- ambiguity resolution 1 Treffer
- argument position 1 Treffer
- automate analysis 1 Treffer
- basic formula 1 Treffer
- bayesian network 1 Treffer
- belief state 1 Treffer
- benchmark suite 1 Treffer
- binary constraint 1 Treffer
Verlag
Publikation
- constraint programming: basics and trends : 1994 chatillon spring school chatillon-sur-seine, france, may 16-20, 1994 selected papers 3 Treffer
- logic programming : 18th international conference, iclp 2002 copenhagen, denmark, july 29 - august 1, 2002 proceedings 3 Treffer
- algebraic and logic programming : 5th international conference, alp'96 aachen, germany, september 25-27, 1996 proceedings 2 Treffer
- algebraic and logic programming : third international conference volterra, italy, september 2-4, 1992 proceedings 2 Treffer
- constraints in computational logics : first international conference, ccl '94 munich, germany, september 7-9, 1994 proceedings 2 Treffer
-
45 weitere Werte:
- functional and logic programming : 11th international symposium, flops 2012, kobe, japan, may 23-25, 2012. proceedings 2 Treffer
- logical aspects of computational linguistics : first international conference, lacl '96 nancy, france, september 23-25, 1996 selected papers 2 Treffer
- principles and practice of constraint programming - cp98 : 4th international conference, cp98 pisa, italy, october 26-30, 1998 proceedings 2 Treffer
- principles and practice of constraint programming : second international workshop, ppcp '94 rosario, orcas island, wa, usa, may 2-4, 1994 proceedings 2 Treffer
- programming language implementation and logic programming : international workshop plilp '90 linkoping, sweden, august 20-22, 1990 proceedings 2 Treffer
- programming languages and systems - esop '94 : 5th european symposium on programming edinburg, u.k., april 11-13, 1994 proceedings 2 Treffer
- a 25-year perspective on logic programming : achievements of the italian association for logic programming, gulp 1 Treffer
- algebraic methodology and software technology : 7th international conference, amast'98 amazonia, brazil, january 4-8, 1999 proceedings 1 Treffer
- alpuk 91 : proceedings of the 3rd uk annual conference on logic programming, edinburgh, 10-12 april 1991 1 Treffer
- automata, languages and programming : 24th international colloquium, icalp '97 bologna, italy, july 7-11, 1997 proceedings 1 Treffer
- computational logic - cl 2000 : first international conference london, uk, july 24-28, 2000 proceedings 1 Treffer
- computational logic in multi-agent systems : 4th international workshop, clima iv, fort lauderdale, fl, usa, january 6-7, 2004, revised selected and invited papers 1 Treffer
- computational logic in multi-agent systems : 7th international workshop, clima vii, hakodate, japan, may 8-9, 2006, revised selected and invited papers 1 Treffer
- computational logic: logic programming and beyond : essays in honour of robert a. kowalski part i 1 Treffer
- computer aided systems theory - cast '94 : 4th international workshop ottawa, ontario, canada, may 16-20, 1994 selected papers 1 Treffer
- computer safety, reliability, and security : 23rd international conference, safecomp 2004, potsdam, germany, september 21-24, 2004. proceedings 1 Treffer
- computer science logic : 5th workshop, csl '91 berne, switzerland, october 7-11, 1991 proceedings 1 Treffer
- constraint programming 1 Treffer
- constraints in computational logics : theory and applications international summer school, ccl '99 gif-sur-yvette, france, september 5-8, 1999 revised lectures 1 Treffer
- database and expert systems applications : proceedings of the international conference in valencia, spain, 1992 1 Treffer
- declarative programming, sasbachwalden 1991 : phoenix seminar and workshop on declarative programming, sasbachwalden, black forest, germany, 18-22 november 1991 1 Treffer
- essentials of constraint programming 1 Treffer
- executable modal and temporal logics : ijcai '93 workshop chambery, france, august 28, 1993 proceedings 1 Treffer
- extensions of logic programming : 4th international workshop, elp '93 st andrews, u.k., march 29-april 1, 1993 proceedings 1 Treffer
- foundations of intelligent systems : 14th international symposium, ismis 2003, maebashi city, japan, october 28-31, 2003. proceedings 1 Treffer
- fst tcs 2000: foundations of software technology and theoretical computer science : 20th conference new delhi, india, december 13-15, 2000 proceedings 1 Treffer
- fsttcs 2005: foundations of software technology and theoretical computer science : 25th international conference, hyderabad, india, december 15-18, 2005. proceedings 1 Treffer
- intelligent systems : concepts and applications 1 Treffer
- knowledge, data and computer-assisted decisions 1 Treffer
- language and automata theory and applications : 4th international conference, lata 2010, trier, germany, may 24-28, 2010. proceedings 1 Treffer
- latin '95: theoretical informatics : second latin american symposium valparaiso, chile, april 3-7, 1995 proceedings 1 Treffer
- learning and reasoning with complex representations : pricai'96 workshops on reasoning with incomplete and changing information and on inducing complex representations cairns, australia, august 26-30, 1996 selected papers 1 Treffer
- logic based program synthesis and transformation : 14th international symposium, lopstr 2004, verona, italy, august 26 - 28, 2004, revised selected papers 1 Treffer
- logic for programming and automated reasoning : 7th international conference, lpar 2000 reunion island, france, november 6-10, 2000 proceedings 1 Treffer
- logic program synthesis and transformation - meta-programming in logic : 4th international workshops, lopstr '94 and meta '94 pisa, italy, june 20-21, 1994 proceedings 1 Treffer
- logic program synthesis and transformation : 5th international workshop, lopstr'95 utrecht, the netherlands, september 20-22, 1995 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 : 25th international conference, iclp 2009, pasadena, ca, usa, july 14-17, 2009. proceedings 1 Treffer
- logic programming '87 : proceedings of the 6th conference tokyo, japan, june 22-24, 1987 1 Treffer
- logic programming '89 : proceedings of the 8th conference tokyo, japan, july 12-14, 1989 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 : 7th international conference, lpnmr 2004 fort lauderdale, fl, usa, january 6-8, 2004 proceedings 1 Treffer
- logic programming and nonmonotonic reasoning : third international conference, lpnmr '95 lexington, ky, usa, june 26-28, 1995 proceedings 1 Treffer
Sprache
87 Treffer
-
2002Online E-BookZugriff:
-
1991Online E-BookZugriff:
-
2010Online E-BookZugriff:
-
2005Online E-BookZugriff:
-
2004Online E-BookZugriff:
-
2004Online E-BookZugriff:
-
2000Online E-BookZugriff:
-
1998Online E-BookZugriff:
-
1995Online E-BookZugriff:
-
1994Online E-BookZugriff:
-
1992Online E-BookZugriff:
-
2007Online E-BookZugriff:
-
2004Online E-BookZugriff:
-
1994Online E-BookZugriff:
-
1994Online E-BookZugriff: