Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- computer science 111 Treffer
- applied sciences 109 Treffer
- exact sciences and technology 109 Treffer
- informatique 109 Treffer
- sciences appliquees 109 Treffer
-
45 weitere Werte:
- sciences exactes et technologie 109 Treffer
- computer science; control theory; systems 104 Treffer
- informatique; automatique theorique; systemes 104 Treffer
- conjunctive normal form 76 Treffer
- formule cnf 75 Treffer
- informatique theorique 73 Treffer
- theoretical computing 72 Treffer
- formula cnf 66 Treffer
- satisfiability 64 Treffer
- logica proposicional 58 Treffer
- logique propositionnelle 58 Treffer
- propositional logic 58 Treffer
- constraint satisfaction 57 Treffer
- satisfaccion restriccion 57 Treffer
- satisfaction contrainte 57 Treffer
- fonctions logiques, booleennes et de commutation 48 Treffer
- logical, boolean and switching functions 48 Treffer
- satisfiabilite 38 Treffer
- artificial intelligence 36 Treffer
- intelligence artificielle 31 Treffer
- satisfactibilidad 26 Treffer
- problema satisfactibilidad 22 Treffer
- probleme satisfiabilite 22 Treffer
- sat 22 Treffer
- satisfactoriabilidad 22 Treffer
- satisfaisabilite 22 Treffer
- satisfiability problem 22 Treffer
- decision making 20 Treffer
- propositional calculus 20 Treffer
- satisfiability testing 20 Treffer
- logical programming 19 Treffer
- programacion logica 19 Treffer
- programmation logique 19 Treffer
- boolean logic 18 Treffer
- inteligencia artificial 18 Treffer
- logica booleana 17 Treffer
- logique booleenne 17 Treffer
- algorithmics. computability. computer arithmetics 16 Treffer
- algorithmique. calculabilite. arithmetique ordinateur 16 Treffer
- computer algorithms 15 Treffer
- logiciel 15 Treffer
- software 15 Treffer
- apprentissage et systemes adaptatifs 14 Treffer
- computer theory 14 Treffer
- informatica teorica 14 Treffer
Verlag
- springer 128 Treffer
- springer-verlag 54 Treffer
- springer verlag 53 Treffer
- heidelberg; springer 9 Treffer
- berlin; springer; c 8 Treffer
-
12 weitere Werte:
- berlin; springer 7 Treffer
- cham; springer 6 Treffer
- springer science and business media deutschland gmbh 5 Treffer
- berlin; new york; springer 3 Treffer
- heidelberg; springer; c 3 Treffer
- berlin; [london]; springer 2 Treffer
- berlin; [london]; springer; c 2 Treffer
- berlin; springer-verlag 2 Treffer
- new york; springer 2 Treffer
- springer verlag kg 2 Treffer
- berlin; london; springer; c 1 Treffer
- new york, ny; springer 1 Treffer
Publikation
- theory and applications of satisfiability testing (st andrews, 19-23 june 2005) 11 Treffer
- theory and applications of satisfiability testing (santa margherita ligure, 5-8 may 2003, selected revised papers) 10 Treffer
- sat 2004 : theory and applications of satisfiability testing (vancouver bc, 10-13 may 2004, revised selected papers) 9 Treffer
- cp 2004 : principles and practice of constraint programming (toronto on, 27 september - 1 october 2004) 4 Treffer
- automata, languages and programming (geneva, 9-15 july 2000) 3 Treffer
-
45 weitere Werte:
- cp 2003 : principles and practice of constraint programming (kinsale, 29 september - 3 october 2003) 3 Treffer
- theory and applications of satisfiability testing - sat 2009 - 12th international conference, sat 2009, proceedings 3 Treffer
- theory and applications of satisfiability testing - sat 2015 - 18th international conference, proceedings 3 Treffer
- algorithms and computation - 24th international symposium, isaac 2013, proceedings 2 Treffer
- algorithms and computation (chennai, december 16-18 1999) 2 Treffer
- cl 2000 : computational logic (london, 24-28 july 2000) 2 Treffer
- cp 2001 : principles and practice of constraint programming (paphos, 26 november - 1 december 2001) 2 Treffer
- cp 2002 : principles and practice of constraint programming - cp 2002 (ithaca ny, 9-13 september 2002) 2 Treffer
- intelligent information and database systems - third international conference, aciids 2011, proceedings 2 Treffer
- lpar 2004 : logic for programming, artificial intelligence, and reasoning (montevideo, 14-18 march 2005) 2 Treffer
- stacs 2004 (montpellier, 25-27 march 2004) 2 Treffer
- stacs 99 (trier, 4-6 march 1999) 2 Treffer
- theory and applications of satisfiability testing - sat 2007 - 10th international conference, proceedings 2 Treffer
- theory and applications of satisfiability testing, sat 2006 - 9th international conference, proceedings 2 Treffer
- theory and applications of satisfiability testing, sat 2012 - 15th international conference, proceedings 2 Treffer
- theory and applications of satisfiability testing, sat 2014 - 17th international conference, held as part of thevienna summer of logic, vsl 2014, proceedings 2 Treffer
- advances in cryptology - asiacrypt 2021 - 27th international conference on the theory and application of cryptology and information security, proceedings, part 1 1 Treffer
- advances in cryptology - crypto 2019 - 39th annual international cryptology conference, proceedings 1 Treffer
- advances in information and computer security - 14th international workshop on security, iwsec 2019, proceedings 1 Treffer
- ai 2007: advances in artificial intelligence - 20th australian joint conference on artificial intelligence, proceedings 1 Treffer
- algorithm engineering - 4th international workshop, wae 2000, proceedings 1 Treffer
- algorithms and computation - 12th international symposium, isaac 2001, proceedings 1 Treffer
- algorithms, esa 2006 - 14th annual european symposium, proceedings 1 Treffer
- approximation, randomization, and combinatorial optimization: algorithms and techniques - 16th international workshop, approx 2013 and 17th international workshop, random 2013, proceedings 1 Treffer
- automated deduction - cade-18 - 18th international conference on automated deduction, proceedings 1 Treffer
- computer aided verification - 25th international conference, cav 2013, proceedings 1 Treffer
- computer aided verification - 32nd international conference, cav 2020, proceedings 1 Treffer
- computer science - theory and applications - 10th international computer science symposium in russia, csr 2015, proceedings 1 Treffer
- ecoop 2013, object-oriented programming - 27th european conference, proceedings 1 Treffer
- foundations and practice of security - 6th international symposium, fps 2013, revised selected papers 1 Treffer
- foundations of intelligent systems - 11th international symposium, ismis 1999, proceedings 1 Treffer
- foundations of software technology and theoretical computer science - 7th conference, proceedings 1 Treffer
- frontiers in algorithmics - second international workshop, faw 2008, proceedings 1 Treffer
- frontiers of combining systems - 14th international symposium, frocos 2023, proceedings 1 Treffer
- graph-theoretic concepts in computer science - 34th international workshop, wg 2008, revised papers 1 Treffer
- information security and cryptology, icisc 2012 - 15th international conference, revised selected papers 1 Treffer
- information systems security - 12th international conference, iciss 2016, proceedings 1 Treffer
- integration of ai and or techniques in constraint programming - 13th international conference, cpaior 2016, proceedings 1 Treffer
- intelligent information and database systems - 4th asian conference, aciids 2012, proceedings 1 Treffer
- intelligent information and database systems - second international conference, aciids, proceedings 1 Treffer
- ki 2013: advances in artificial intelligence - 36th annual german conference on ai, proceedings 1 Treffer
- language and automata theory and applications - 8th international conference, lata 2014, proceedings 1 Treffer
- logic for programming, artificial intelligence, and reasoning - 17th international conference, lpar-17, proceedings 1 Treffer
- mathematical foundations of computer science 1988 - proceedings of the 13th symposium 1 Treffer
- methodologies for intelligent systems - 7th international symposium, ismis 1993, proceedings 1 Treffer
Sprache
342 Treffer
-
In: LECTURE NOTES IN COMPUTER SCIENCE, 2006, Heft 4121, S. 61-74KonferenzZugriff:
-
In: LECTURE NOTES IN COMPUTER SCIENCE, 2005, S. 482-489KonferenzZugriff:
-
In: LECTURE NOTES IN COMPUTER SCIENCE, 2003, S. 612-621KonferenzZugriff:
-
In: LECTURE NOTES IN COMPUTER SCIENCE, 2002, S. 185-199KonferenzZugriff:
-
In: LECTURE NOTES IN COMPUTER SCIENCE, 2002, S. 161-180KonferenzZugriff:
-
In: LECTURE NOTES IN COMPUTER SCIENCE, 2000, S. 186-195KonferenzZugriff:
-
In: Algorithms and computation (Christchurch, 19-21 december 2001), 2001, S. 231-243KonferenzZugriff:
-
In: LECTURE NOTES IN COMPUTER SCIENCE, 2014, Heft 8656, S. 42-57serialPeriodicalZugriff:
-
In: Symbolic and quantitative approaches to reasoning and uncertainty (London, 5-9 July 1999), 1999, S. 22-31KonferenzZugriff:
-
In: LECTURE NOTES IN COMPUTER SCIENCE, 2013, Heft 7962, S. 19-21KonferenzZugriff:
-
In: LECTURE NOTES IN COMPUTER SCIENCE, 2011, Heft 6695, S. 357-359KonferenzZugriff:
-
In: CP 2001 : principles and practice of constraint programming (Paphos, 26 November - 1 December 2001), 2001KonferenzZugriff:
-
In: LECTURE NOTES IN COMPUTER SCIENCE, , Heft E 1638, S. 22-31KonferenzZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!serialPeriodicalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!serialPeriodicalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!serialPeriodicalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!serialPeriodicalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!serialPeriodicalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!serialPeriodicalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!serialPeriodicalZugriff: