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 - asiacrypt 2022 - 28th international conference on the theory and application of cryptology and information security, proceedings 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
Sprache
342 Treffer
-
In: Lecture notes in computer science, Jg. 13792 (2022), S. 340-370KonferenzZugriff:
-
In: Lecture notes in computer science, Jg. 13177 (2022), S. 283-316KonferenzZugriff:
-
In: Lecture notes in computer science, Jg. 13038 (2021), S. 150-166KonferenzZugriff:
-
In: Lecture notes in computer science, Jg. 12224 (2020), S. 463-484KonferenzZugriff:
-
In: Lecture notes in computer science, Jg. 11692 (2019), S. 62-88KonferenzZugriff:
-
In: Lecture notes in computer science, Jg. 11689 (2019), S. 89-108KonferenzZugriff:
-
In: Lecture notes in computer science, Jg. 11628 (2019), S. 222-238KonferenzZugriff:
-
In: Lecture notes in computer science, Jg. 11460 (2019), S. 341-354KonferenzZugriff:
-
In: Lecture notes in computer science, Jg. 11161 (2018), S. 224-239KonferenzZugriff:
-
In: Lecture notes in computer science, Jg. 10491 (2017), S. 412-428KonferenzZugriff:
-
In: Theory and applications of satisfiability testing (St Andrews, 19-23 June 2005), 2005, S. 482-489KonferenzZugriff:
-
In: SAT 2004 : theory and applications of satisfiability testing (Vancouver BC, 10-13 May 2004, revised selected papers), 2005, S. 145-156KonferenzZugriff:
-
In: CHARME 2003 : correct hardware design and verification methods (L'Aquila, 21-24 October 2003), 2003, S. 363-377KonferenzZugriff:
-
In: Principles and practice of constraint programming - CP 2005 (11th international conference, 2005, S. 827-831KonferenzZugriff:
-
In: Theory and applications of satisfiability testing (St Andrews, 19-23 June 2005), 2005, S. 423-429KonferenzZugriff:
-
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, Jg. 9710 (2016), S. 302-322KonferenzZugriff:
-
In: Lecture notes in computer science, Jg. 9710 (2016), S. 3-12KonferenzZugriff:
-
In: Lecture notes in computer science, Jg. 9676 (2016), S. 1-17KonferenzZugriff: