Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- applied sciences 31 Treffer
- computer science 31 Treffer
- exact sciences and technology 31 Treffer
- informatique 31 Treffer
- intelligence artificielle 31 Treffer
-
45 weitere Werte:
- sciences appliquees 31 Treffer
- sciences exactes et technologie 31 Treffer
- computer science; control theory; systems 30 Treffer
- informatique; automatique theorique; systemes 30 Treffer
- inteligencia artificial 18 Treffer
- satisfiability 16 Treffer
- apprentissage et systemes adaptatifs 14 Treffer
- conjunctive normal form 14 Treffer
- formule cnf 14 Treffer
- learning and adaptive systems 14 Treffer
- logica proposicional 14 Treffer
- logique propositionnelle 14 Treffer
- propositional logic 14 Treffer
- logical programming 13 Treffer
- programacion logica 13 Treffer
- programmation logique 13 Treffer
- formula cnf 12 Treffer
- satisfiabilite 11 Treffer
- problem solving, game playing 10 Treffer
- resolution de problemes, jeux 10 Treffer
- informatique theorique 9 Treffer
- constraint satisfaction 8 Treffer
- satisfaccion restriccion 8 Treffer
- satisfaction contrainte 8 Treffer
- theoretical computing 8 Treffer
- fonctions logiques, booleennes et de commutation 7 Treffer
- logical, boolean and switching functions 7 Treffer
- problem solving 5 Treffer
- resolucion problema 5 Treffer
- resolution probleme 5 Treffer
- satisfactoriabilidad 5 Treffer
- satisfaisabilite 5 Treffer
- algorithme recherche 4 Treffer
- algoritmo busqueda 4 Treffer
- knowledge representation 4 Treffer
- polynomial time 4 Treffer
- problema satisfactibilidad 4 Treffer
- probleme satisfiabilite 4 Treffer
- representacion conocimientos 4 Treffer
- representation connaissances 4 Treffer
- satisfiability problem 4 Treffer
- search algorithm 4 Treffer
- temps polynomial 4 Treffer
- tiempo polinomial 4 Treffer
- ai 3 Treffer
Verlag
Publikation
- cl 2000 : computational logic (london, 24-28 july 2000) 2 Treffer
- lpar 2004 : logic for programming, artificial intelligence, and reasoning (montevideo, 14-18 march 2005) 2 Treffer
- theory and applications of satisfiability testing (santa margherita ligure, 5-8 may 2003, selected revised papers) 2 Treffer
- advances in artificial intelligence (sao luis, 29 september - 1 october 2004) 1 Treffer
- ai*ia 99 : advances in artificial intelligence (bologna, 14-17 september 1999, selected papers) 1 Treffer
-
23 weitere Werte:
- aisc 2004 : artificial intelligence and symbolic computation (linz, 22-24 september 2004) 1 Treffer
- algorithms and computation (chennai, december 16-18 1999) 1 Treffer
- algorithms and computation (taejon, 14-16 december 1998) 1 Treffer
- alt '98 : algorithmic learning theory (otzenhausen, 8-10 october 1998) 1 Treffer
- artificial intelligence and knowledge engineering applications : a bioinspired approach (las palmas, 15-18 june 2005. part ii) 1 Treffer
- automated deduction - cade-16 (trento, 7-10 july 1999) 1 Treffer
- automated deduction - cade-18 (copenhagen, 27-30 july 2002) 1 Treffer
- automated reasoning 1 Treffer
- cade-20 : automated deduction (tallinn, 22-27 july 2005) 1 Treffer
- computer science logic (vienna, 25-30 august 2003) 1 Treffer
- cp 2003 : principles and practice of constraint programming (kinsale, 29 september - 3 october 2003) 1 Treffer
- ds 2003: discovery science (sapporo, 17-19 october 2003) 1 Treffer
- foundations of intelligent systems (saratoga springs ny, 25-28 may 2005) 1 Treffer
- foundations of intelligent systems (warsaw, 8-11 june 1999) 1 Treffer
- innovations in applied artificial intelligence (bari, 22-24 june 2005) 1 Treffer
- learning theory and kernel machines (washington dc, 24-27 august 2003) 1 Treffer
- lpar 2003 : logic for programming artificial intelligence, and reasoning (almaty, 22-26 september 2003) 1 Treffer
- lpar '99 : logic for programming and automated reasoning (tbilisi, 6-10 september 1999) 1 Treffer
- lpnmr '99 : logic programming and nonmonotonic reasoning (el paso tx, december 2-4 1999) 1 Treffer
- principles and practice of constraint programming - cp 2005 (11th international conference, cp 2005, sitges, spain, october 1-5, 2005, proceedings) 1 Treffer
- stacs 99 (trier, 4-6 march 1999) 1 Treffer
- symbolic and quantitative approaches to reasoning and uncertainty (london, 5-9 july 1999) 1 Treffer
- trends in artificial intelligence (auckland, 9-13 august 2004) 1 Treffer
Sprache
36 Treffer
-
In: Principles and practice of constraint programming - CP 2005 (11th international conference, 2005, S. 827-831KonferenzZugriff:
-
In: CP 2003 : principles and practice of constraint programming (Kinsale, 29 September - 3 October 2003), 2003, S. 108-122KonferenzZugriff:
-
In: Theory and applications of satisfiability testing (Santa Margherita Ligure, 5-8 May 2003, selected revised papers), 2004, S. 330-340KonferenzZugriff:
-
In: LECTURE NOTES IN COMPUTER SCIENCE, 2014, Heft 8736, S. 123-134KonferenzZugriff:
-
In: LECTURE NOTES IN COMPUTER SCIENCE, 2013, Heft 8077, S. 61-73KonferenzZugriff:
-
In: LECTURE NOTES IN COMPUTER SCIENCE, 2010, Heft 6397, S. 357-371KonferenzZugriff:
-
In: LECTURE NOTES IN COMPUTER SCIENCE, 2007, Heft 4830, S. 234-243KonferenzZugriff:
-
In: LECTURE NOTES IN COMPUTER SCIENCE, 2006, Heft 3157, S. 120-129KonferenzZugriff:
-
In: Automated deduction - CADE-18 (Copenhagen, 27-30 July 2002), 2002, S. 161-180KonferenzZugriff:
-
In: Symbolic and quantitative approaches to reasoning and uncertainty (London, 5-9 July 1999), 1999, S. 22-31KonferenzZugriff:
-
In: Artificial intelligence and knowledge engineering applications : a bioinspired approach (Las Palmas, 15-18 June 2005. Part II), 2005, S. 300-309KonferenzZugriff:
-
In: LPAR 2004 : logic for programming, artificial intelligence, and reasoning (Montevideo, 14-18 March 2005), 2005, S. 95-109KonferenzZugriff:
-
In: Innovations in applied artificial intelligence (Bari, 22-24 June 2005), 2005, S. 681-684KonferenzZugriff:
-
In: Theory and applications of satisfiability testing (Santa Margherita Ligure, 5-8 May 2003, selected revised papers), 2004, S. 242-256KonferenzZugriff:
-
In: LPAR 2003 : logic for programming artificial intelligence, and reasoning (Almaty, 22-26 September 2003), 2003, S. 302-316KonferenzZugriff:
-
In: CADE-20 : automated deduction (Tallinn, 22-27 July 2005), 2005, S. 392-408KonferenzZugriff:
-
In: Foundations of intelligent systems (Saratoga Springs NY, 25-28 May 2005), 2005, S. 304-313KonferenzZugriff:
-
In: LPAR 2004 : logic for programming, artificial intelligence, and reasoning (Montevideo, 14-18 March 2005), 2005, S. 36-50KonferenzZugriff:
-
In: Advances in artificial intelligence (Sao Luis, 29 September - 1 October 2004), 2004, S. 164-173KonferenzZugriff:
-
In: Trends in artificial intelligence (Auckland, 9-13 August 2004), 2004, S. 173-182KonferenzZugriff: