Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- coq 110 Treffer
- ssreflect 13 Treffer
- formal verification 11 Treffer
- formalization 8 Treffer
- verification 8 Treffer
-
45 weitere Werte:
- coq proof assistant 7 Treffer
- interactive theorem proving 7 Treffer
- formalization of mathematics 6 Treffer
- functional programming 6 Treffer
- proof assistant 6 Treffer
- theorem proving 6 Treffer
- formal methods 5 Treffer
- formal proof 5 Treffer
- security 4 Treffer
- smart contracts 4 Treffer
- type theory 4 Treffer
- automation 3 Treffer
- blockchain 3 Treffer
- dependent types 3 Treffer
- formal proofs 3 Treffer
- formal semantics 3 Treffer
- interactive theorem prover 3 Treffer
- machine learning 3 Treffer
- operational semantics 3 Treffer
- reo 3 Treffer
- algebra 2 Treffer
- axiom of choice 2 Treffer
- blockchains 2 Treffer
- certified programming 2 Treffer
- clustering 2 Treffer
- code generation 2 Treffer
- coinduction 2 Treffer
- computer algebra 2 Treffer
- connector 2 Treffer
- coordination 2 Treffer
- correctness by extraction 2 Treffer
- decision procedures 2 Treffer
- dependent type theory 2 Treffer
- duality 2 Treffer
- geometry 2 Treffer
- linear algebra 2 Treffer
- program verification 2 Treffer
- programming languages 2 Treffer
- projective geometry 2 Treffer
- proof assistants 2 Treffer
- proof automation 2 Treffer
- reasoning 2 Treffer
- scala 2 Treffer
- semantics 2 Treffer
- stepwise refinement 2 Treffer
Verlag
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 7 Treffer
- interactive theorem proving - 9th international conference, itp 2018, held as part of the federated logic conference, floc 2018, proceedings 6 Treffer
- interactive theorem proving - 8th international conference, itp 2017,proceedings 5 Treffer
-
45 weitere Werte:
- interactive theorem proving - first international conference, itp 2010, proceedings 5 Treffer
- interactive theorem proving - third international conference, itp 2012, proceedings 5 Treffer
- 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
- 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 - 10th international conference, aisc 2010, 17th symposium, calculemus 2010, and 9th international conference, mkm 2010, 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
Sprache
295 Treffer
-
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:
-
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:
-
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:
-
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:
-
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:
-
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:
-
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:
-
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:
-
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:
-
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: