Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- coq 108 Treffer
- theorem proving 44 Treffer
- automatic theorem proving 42 Treffer
- logic, symbolic and mathematical 33 Treffer
- itp 24 Treffer
-
45 weitere Werte:
- proofs 20 Treffer
- types 20 Treffer
- programs 19 Treffer
- tphols 16 Treffer
- computer programming 15 Treffer
- higher order logics 15 Treffer
- interactive theorem proving 13 Treffer
- ssreflect 13 Treffer
- type theory 13 Treffer
- formal verification 12 Treffer
- cpp 11 Treffer
- computer science 10 Treffer
- formal methods (computer science) 10 Treffer
- mathematics 9 Treffer
- algebra 8 Treffer
- computer software 8 Treffer
- formalization 8 Treffer
- verification 8 Treffer
- computer industry 7 Treffer
- coq proof assistant 7 Treffer
- electronic data processing personnel 7 Treffer
- formalization of mathematics 6 Treffer
- functional programming 6 Treffer
- calculemus 5 Treffer
- formal methods 5 Treffer
- formal proof 5 Treffer
- geometry 5 Treffer
- knowledge management 5 Treffer
- logic programming 5 Treffer
- proof assistant 5 Treffer
- software engineering 5 Treffer
- certified programs 4 Treffer
- computation 4 Treffer
- logics 4 Treffer
- mkm 4 Treffer
- smart contracts 4 Treffer
- asian 3 Treffer
- automated reasoning 3 Treffer
- automation 3 Treffer
- blockchain 3 Treffer
- cicm 3 Treffer
- computer aided systems theory 3 Treffer
- computer-assisted reasoning 3 Treffer
- dependent types 3 Treffer
- eurocast 3 Treffer
Verlag
- springer verlag 142 Treffer
- springer 106 Treffer
- springer science and business media deutschland gmbh 30 Treffer
- heidelberg; springer; c 19 Treffer
- berlin; springer; c 17 Treffer
-
16 weitere Werte:
- heidelberg; springer 16 Treffer
- berlin; springer 14 Treffer
- new york; springer 13 Treffer
- cham; springer 11 Treffer
- heidelberg; london; springer; c 8 Treffer
- berlin; [london]; springer; c 3 Treffer
- berlin; london; springer; c 3 Treffer
- springer-verlag 3 Treffer
- berlin; [london]; springer 2 Treffer
- berlin; new york; springer 2 Treffer
- berlin; new york; springer verlag 2 Treffer
- berlin; new york; springer-verlag 2 Treffer
- berlin:; springer 1 Treffer
- berlin; london; springer 1 Treffer
- berlin; springer-verlag 1 Treffer
- springer; c 1 Treffer
Publikation
- certified programs and proofs - first international conference, cpp 2011, proceedings 8 Treffer
- interactive theorem proving - 5th international conference, itp 2014, held as part of the vienna summer of logic, vsl 2014, proceedings 8 Treffer
- interactive theorem proving - 4th international conference, itp 2013, proceedings 6 Treffer
- interactive theorem proving - 8th international conference, itp 2017,proceedings 5 Treffer
- interactive theorem proving - 9th international conference, itp 2018, held as part of the federated logic conference, floc 2018, proceedings 5 Treffer
-
45 weitere Werte:
- automated reasoning - 10th international joint conference, ijcar 2020, proceedings 4 Treffer
- certified programs and proofs - third international conference, cpp 2013, proceedings 4 Treffer
- intelligent computer mathematics - 18th symposium, calculemus 2011 and 10th international conference, mkm 2011, proceedings 4 Treffer
- interactive theorem proving - first international conference, itp 2010, proceedings 4 Treffer
- interactive theorem proving - third international conference, itp 2012, proceedings 4 Treffer
- theorem proving in higher order logics - 13th international conference, tphols 2000, proceedings 4 Treffer
- certified programs and proofs - second international conference, cpp 2012, proceedings 3 Treffer
- formal methods- fm 2019 international workshops - revised selected papers 3 Treffer
- functional and logic programming - 13th international symposium, flops 2016, proceedings 3 Treffer
- interactive theorem proving - 6th international conference, itp 2015, proceedings 3 Treffer
- interactive theorem proving - 7th international conference, itp 2016, proceedings 3 Treffer
- interactive theorem proving - second international conference, itp 2011, proceedings 3 Treffer
- software engineering and formal methods - 9th international conference, sefm 2011, proceedings 3 Treffer
- theorem proving in higher order logics - 21st international conference, tphols 2008, proceedings 3 Treffer
- theorem proving in higher order logics - 22nd international conference, tphols 2009, proceedings 3 Treffer
- types for proofs and programs - international conference, types 2008, revised selected papers 3 Treffer
- types for proofs and programs - international workshop types 1996, selected papers 3 Treffer
- computer aided systems theory - eurocast 2007 - 11th international conference on computer aided systems theory, revised selected papers 2 Treffer
- computer aided verification - 29th international conference, cav 2017, proceedings 2 Treffer
- formal aspects of component software - 10th international symposium, facs 2013, revised selected papers 2 Treffer
- formal methods and software engineering - 21st international conference on formal engineering methods, icfem 2019, proceedings 2 Treffer
- formal methods: foundations and applications - 21st brazilian symposium, sbmf 2018, proceedings 2 Treffer
- intelligent computer mathematics - 11th int. conf., aisc 2012, 19th symp., calculemus 2012, 5th int. workshop, dml 2012, 11th int. conf., mkm 2012, systems and projects, part of cicm 2012, proceedings 2 Treffer
- intelligent computer mathematics - 12th international conference, cicm 2019, proceedings 2 Treffer
- intelligent computer mathematics - 9th international conference, aisc 2008 - 15th symposium, calculemus 2008 - 7th international conference, mkm 2008, proceedings 2 Treffer
- nasa formal methods - 15th international symposium, nfm 2023, proceedings 2 Treffer
- programming languages and systems - 16th asian symposium, aplas 2018, proceedings 2 Treffer
- programming languages and systems - 17th asian symposium, aplas 2019, proceedings 2 Treffer
- programming languages and systems - 21st asian symposium, aplas 2023, proceedings 2 Treffer
- programming languages and systems - 27th european symposium on programming, esop 2018, held as part of the european joint conferences on theory and practice of software, etaps 2018, proceedings 2 Treffer
- theorem proving in higher order logics - 10th international conference, tphols 1997, proceedings 2 Treffer
- theorem proving in higher order logics - 14th international conference, tphols 2001, proceedings 2 Treffer
- theorem proving in higher order logics - 15th international conference, tphols 2002, proceedings 2 Treffer
- theorem proving in higher order logics - 9th international conference, tphols 1996, proceedings 2 Treffer
- typed lambda calculi and applications - 2nd international conference on typed lambda calculi and applications, tlca 1995, proceedings 2 Treffer
- types for proofs and programs - international workshop types 1993, selected papers 2 Treffer
- types for proofs and programs - international workshop, types 1995, selected papers 2 Treffer
- advances in computer science - asian 2006: secure software and related issues - 11th asian computing science conference, revised selected papers 1 Treffer
- advances in computing science - asian 1999 - 5th asian computing science conference, proceedings 1 Treffer
- advances in computing science - asian 2000 - 6th asian computing science conference, proceedings 1 Treffer
- algebra, meaning, and computation: essays dedicated to joseph a goguen on the occasion of his 65th birthday 1 Treffer
- algebraic methodology and software technology - 4th international conference, amast 1995, proceedings 1 Treffer
- algorithms and architectures for parallel processing - ica3pp international workshops and symposiums, proceedings 1 Treffer
- artificial intelligence and symbolic computation - 13th international conference, aisc 2018, proceedings 1 Treffer
- automated deduction in geometry - 7th international workshop, adg 2008, revised papers 1 Treffer
Sprache
485 Treffer
-
In: Lecture notes in computer science, Jg. 13903 (2023), S. 62-78KonferenzZugriff:
-
In: Lecture notes in computer science, Jg. 14000 (2023), S. 39-55KonferenzZugriff:
-
In: Lecture notes in computer science, Jg. 13544 (2022), S. 151-177KonferenzZugriff:
-
In: Lecture notes in computer science, Jg. 13649 (2022), S. 205-226KonferenzZugriff:
-
In: Lecture notes in computer science, Jg. 13649 (2022), S. 169-186KonferenzZugriff:
-
In: Lecture notes in computer science, Jg. 13372 (2022), S. 272-292KonferenzZugriff:
-
In: Lecture notes in computer science, Jg. 13299 (2022), S. 180-196KonferenzZugriff:
-
In: Lecture notes in computer science, Jg. 12842 (2021), S. 299-316KonferenzZugriff:
-
In: Lecture notes in computer science, Jg. 12833 (2021), S. 67-83KonferenzZugriff:
-
In: Lecture notes in computer science, Jg. 12709 (2021), S. 162-166KonferenzZugriff:
-
In: Lecture notes in computer science, Jg. 12673 (2021), S. 287-303KonferenzZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff:
-
In: Lecture notes in computer science, Jg. 12531 (2020), S. 287-296KonferenzZugriff:
-
In: Lecture notes in computer science, Jg. 12475 (2020), S. 192-209KonferenzZugriff:
-
In: Lecture notes in computer science, Jg. 12478 (2020), S. 60-72KonferenzZugriff:
-
In: Lecture notes in computer science, Jg. 12232 (2020), S. 368-379KonferenzZugriff:
-
In: Lecture notes in computer science, Jg. 12232 (2020), S. 362-367KonferenzZugriff:
-
In: Lecture notes in computer science, Jg. 12232 (2020), S. 380-391KonferenzZugriff:
-
In: Lecture notes in computer science, Jg. 12236 (2020), S. 271-277KonferenzZugriff: