Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- computer science 174 Treffer
- computer 125 Treffer
- proof assistant 118 Treffer
- computer.software_genre 115 Treffer
- programming language 102 Treffer
-
45 weitere Werte:
- 02 engineering and technology 97 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 97 Treffer
- coq 90 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 83 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 64 Treffer
- 020207 software engineering 58 Treffer
- 020201 artificial intelligence & image processing 50 Treffer
- business 45 Treffer
- business.industry 44 Treffer
- 01 natural sciences 43 Treffer
- correctness 40 Treffer
- mathematical proof 40 Treffer
- theoretical computer science 37 Treffer
- formal verification 33 Treffer
- 0102 computer and information sciences 31 Treffer
- 010201 computation theory & mathematics 31 Treffer
- 020204 information systems 31 Treffer
- mathematics 30 Treffer
- computer.programming_language 28 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 25 Treffer
- computer science::logic in computer science 25 Treffer
- automated theorem proving 22 Treffer
- formal proof 21 Treffer
- [info]computer science [cs] 20 Treffer
- separation logic 20 Treffer
- 05 social sciences 19 Treffer
- type theory 19 Treffer
- 0101 mathematics 18 Treffer
- compiler 18 Treffer
- computer science::programming languages 18 Treffer
- discrete mathematics 18 Treffer
- semantics (computer science) 18 Treffer
- 010102 general mathematics 16 Treffer
- algorithm 16 Treffer
- formal methods 15 Treffer
- functional programming 15 Treffer
- algebra 14 Treffer
- computer.file_format 13 Treffer
- executable 12 Treffer
- calculus 11 Treffer
- development (topology) 11 Treffer
- media_common 11 Treffer
- media_common.quotation_subject 11 Treffer
- soundness 11 Treffer
- [info.info-ni]computer science [cs]/networking and internet architecture [cs.ni] 10 Treffer
Publikation
- interactive theorem proving : 6th international conference, itp 2015, nanjing, china, august 24-27, 2015, proceedings 13 Treffer
- interactive theorem proving : 5th international conference, itp 2014, held as part of the vienna summer of logic, vsl 2014, vienna, austria, july 14-17, 2014. proceedings 12 Treffer
- interactive theorem proving : 8th international conference, itp 2017, brasilia, brazil, september 26-29, 2017, proceedings 12 Treffer
- interactive theorem proving : 9th international conference, itp 2018, held as part of the federated logic conference, floc 2018, oxford, uk, july 9-12, 2018, proceedings 10 Treffer
- coenzyme q in aging 9 Treffer
-
45 weitere Werte:
- automated reasoning : 10th international joint conference, ijcar 2020, paris, france, july 1-4, 2020, proceedings, part ii 8 Treffer
- interactive theorem proving : 7th international conference, itp 2016, nancy, france, august 22-25, 2016, proceedings 8 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, thessaloniki, greece, april 14-20, 2018, proceedings 8 Treffer
- certified programs and proofs : third international conference, cpp 2013, melbourne, vic, australia, december 11-13, 2013, proceedings 7 Treffer
- annals of mathematics and artificial intelligence 6 Treffer
- computer aided verification : 33rd international conference, cav 2021, virtual event, july 20-23, 2021, proceedings, part ii 4 Treffer
- programming languages and systems : 16th asian symposium, aplas 2018, wellington, new zealand, december 2-6, 2018, proceedings 4 Treffer
- computer aided verification : 34th international conference, cav 2022, haifa, israel, august 7-10, 2022, proceedings, part ii 3 Treffer
- formal methods and software engineering : 22nd international conference on formal engineering methods, icfem 2020, singapore, singapore, march 1-3, 2021, proceedings 3 Treffer
- formal methods. fm 2019 international workshops : porto, portugal, october 7-11, 2019, revised selected papers, part i 3 Treffer
- functional and logic programming : 13th international symposium, flops 2016, kochi, japan, march 4-6, 2016, proceedings 3 Treffer
- intelligent computer mathematics : 12th international conference, cicm 2019, prague, czech republic, july 8-12, 2019, proceedings 3 Treffer
- international journal of tropical insect science 3 Treffer
- mathematics of program construction : 13th international conference, mpc 2019, porto, portugal, october 7-9, 2019, proceedings 3 Treffer
- nasa formal methods : 13th international symposium, nfm 2021, virtual event, may 24-28, 2021, proceedings 3 Treffer
- prof. chlipala via phoebe ayers 3 Treffer
- programming languages and systems : 17th asian symposium, aplas 2019, nusa dua, bali, indonesia, december 1-4, 2019, proceedings 3 Treffer
- automated reasoning with analytic tableaux and related methods : 30th international conference, tableaux 2021, birmingham, uk, september 6-9, 2021, proceedings 2 Treffer
- computer aided verification : 29th international conference, cav 2017, heidelberg, germany, july 24-28, 2017, proceedings, part ii 2 Treffer
- financial cryptography and data security : fc 2020 international workshops, asiausec, codefi, voting, and wtsc, kota kinabalu, malaysia, february 14, 2020, revised selected papers 2 Treffer
- fm 2016: formal methods : 21st international symposium, limassol, cyprus, november 9-11, 2016, proceedings 2 Treffer
- formal aspects of component software : 10th international symposium, facs 2013, nanchang, china, october 27-29, 2013, revised selected papers 2 Treffer
- formal methods - the next 30 years : third world congress, fm 2019, porto, portugal, october 7-11, 2019, proceedings 2 Treffer
- formal methods and software engineering : 16th international conference on formal engineering methods, icfem 2014, luxembourg, luxembourg, november 3-5, 2014. proceedings 2 Treffer
- formal methods and software engineering : 21st international conference on formal engineering methods, icfem 2019, shenzhen, china, november 5-9, 2019, proceedings 2 Treffer
- formal methods: foundations and applications : 21st brazilian symposium, sbmf 2018, salvador, brazil, november 26-30, 2018, proceedings 2 Treffer
- formal techniques for distributed objects, components, and systems : 38th ifip wg 6.1 international conference, forte 2018, held as part of the 13th international federated conference on distributed computing techniques, discotec 2018, madrid, spain, june 18-21, 2018, proceedings 2 Treffer
- from industry 4.0 to quality 4.0 : an innovative tqm guide for sustainable digital age businesses 2 Treffer
- functional and logic programming : 14th international symposium, flops 2018, nagoya, japan, may 9-11, 2018, proceedings 2 Treffer
- genetic neuromuscular disorders : a case-based approach 2 Treffer
- integrated formal methods : 15th international conference, ifm 2019, bergen, norway, december 2-6, 2019, proceedings 2 Treffer
- mathematics in computer science 2 Treffer
- mit web domain 2 Treffer
- aging clin exp res 1 Treffer
- biologia futura 1 Treffer
- biologia: botany, zoology and cellular and molecular biology 1 Treffer
- journal of diabetes & metabolic disorders 1 Treffer
- journal of diabetes and metabolic disorders 1 Treffer
- journal of industrial microbiology & biotechnology: official journal of the society for industrial microbiology and biotechnology 1 Treffer
- journal of plant pathology 1 Treffer
- migraine: emerging innovations and treatment options 1 Treffer
- neohelicon: acta comparationis litterarum universarum 1 Treffer
- neuropsychopharmacotherapy ; page 1-12 ; isbn 9783319560151 9783319560151 1 Treffer
- the palgrave handbook of climate resilient societies ; page 1-21 ; isbn 9783030328115 9783030328115 1 Treffer
- the palgrave handbook of climate resilient societies: volumes 1-2 1 Treffer
Sprache
Geographischer Bezug
741 Treffer
-
In: Mathematics in Computer Science, Jg. 14 (2020-09-01), Heft 3, S. 533-549Online academicJournalZugriff:
-
In: Annals of Mathematics and Artificial Intelligence, Jg. 74 (2015-08-01), Heft 3-4, S. 309-332Online academicJournalZugriff:
-
2021Online E-BookZugriff:
-
2021Online E-BookZugriff:
-
In: Annals of Mathematics and Artificial Intelligence, Jg. 91 (2023-10-01), Heft 5, S. 651-673Online academicJournalZugriff:
-
2020Online E-BookZugriff:
-
2020Online E-BookZugriff:
-
2020Online E-BookZugriff:
-
2021Online E-BookZugriff:
-
2020Online E-BookZugriff:
-
2019Online E-BookZugriff:
-
2018Online E-BookZugriff:
-
2018Online E-BookZugriff: