Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- proof assistant 258 Treffer
- computer science 237 Treffer
- computer 187 Treffer
- computer.software_genre 170 Treffer
- programming language 167 Treffer
-
45 weitere Werte:
- theoryofcomputation_logicsandmeaningsofprograms 156 Treffer
- regular article - experimental physics 147 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 142 Treffer
- type theory 89 Treffer
- mathematical proof 79 Treffer
- theoretical computer science 79 Treffer
- mathematics 76 Treffer
- inductive type 62 Treffer
- correctness 56 Treffer
- computer.programming_language 55 Treffer
- automated theorem proving 54 Treffer
- business 54 Treffer
- business.industry 54 Treffer
- algorithm 49 Treffer
- computer science::logic in computer science 48 Treffer
- algebra 46 Treffer
- formal verification 45 Treffer
- 02 engineering and technology 42 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 42 Treffer
- coq 42 Treffer
- separation logic 42 Treffer
- 01 natural sciences 39 Treffer
- 0102 computer and information sciences 39 Treffer
- 010201 computation theory & mathematics 39 Treffer
- calculus 38 Treffer
- dependent type 34 Treffer
- proof obligation 34 Treffer
- discrete mathematics 33 Treffer
- computer science::programming languages 30 Treffer
- formal proof 30 Treffer
- 020207 software engineering 29 Treffer
- proof theory 28 Treffer
- soundness 28 Treffer
- formal methods 26 Treffer
- operational semantic 24 Treffer
- recursive call 22 Treffer
- cryptographic protocol 21 Treffer
- logical framework 20 Treffer
- functional programming 18 Treffer
- hoare logic 17 Treffer
- info:eu-repo/classification/ddc/530 17 Treffer
- virtual machine 17 Treffer
- atlas 16 Treffer
- operational semantics 16 Treffer
- p p: scattering 16 Treffer
Verlag
Publikation
- certified programs and proofs : first international conference, cpp 2011, kenting, taiwan, december 7-9, 2011. proceedings 15 Treffer
- interactive theorem proving : first international conference, itp 2010, edinburgh, uk, july 11-14, 2010. proceedings 12 Treffer
- certified programs and proofs : second international conference, cpp 2012, kyoto, japan, december 13-15, 2012. proceedings 11 Treffer
- interactive theorem proving : 4th international conference, itp 2013, rennes, france, july 22-26, 2013. proceedings 11 Treffer
- interactive theorem proving : second international conference, itp 2011, berg en dal, the netherlands, august 22-25, 2011. proceedings 8 Treffer
-
45 weitere Werte:
- theorem proving in higher order logics : 13th international conference, tphols 2000 portland, or, usa, august 14-18, 2000 proceedings 8 Treffer
- theorem proving in higher order logics : 15th international conference, tphols 2002 hampton, va, usa, august 20-23, 2002 proceedings 8 Treffer
- theorem proving in higher order logics : 22nd international conference, tphols 2009, munich, germany, august 17-20, 2009. proceedings 8 Treffer
- interactive theorem proving : third international conference, itp 2012, princeton, nj, usa, august 13-15, 2012. proceedings 7 Treffer
- theorem proving in higher order logics : 21st international conference, tphols 2008, montreal, canada, august 18-21, 2008. proceedings 7 Treffer
- types for proofs and programs : international conference, types 2008 torino, italy, march 26-29, 2008 revised selected papers 7 Treffer
- types for proofs and programs : international workshop, types 2006, nottingham, uk, april 18-21, 2006, revised selected papers 7 Treffer
- intelligent computer mathematics : 18th symposium, calculemus 2011, and 10th international conference, mkm 2011, bertinoro, italy, july 18-23, 2011. proceedings 6 Treffer
- interactive theorem proving and program development : coq'art: the calculus of inductive constructions 6 Treffer
- theorem proving in higher order logics : 16th international conference, tphols 2003, rome, italy, september 8-12, 2003. proceedings 6 Treffer
- theorem proving in higher order logics : 20th international conference, tphols 2007, kaiserslautern, germany, september 10-13, 2007. proceedings 6 Treffer
- types for proofs and programs : international workshop, types 2004, jouy-en-josas, france, december 15-18, 2004, revised selected papers 6 Treffer
- types for proofs and programs : international workshop, types'99 lokeberg, sweden, june 12-16, 1999 selected papers 5 Treffer
- automated reasoning : third international joint conference, ijcar 2006, seattle, wa, usa, august 17-20, 2006. proceedings 4 Treffer
- computer aided systems theory - eurocast 2007 : 11th international conference on computer aided systems theory, las palmas de gran canaria, spain, february 12-16, 2007, revised selected papers 4 Treffer
- intelligent computer mathematics : 11th international conference, aisc 2012, 19th symposium, calculemus 2012, 5th international workshop, dml 2012, 11th international conference, mkm 2012, systems and projects, held as part of cicm 2012, bremen, germany, july 8-13, 2012. proceedings 4 Treffer
- intelligent computer mathematics : mkm, calculemus, dml, and systems and projects 2013, held as part of cicm 2013, bath, uk, july 8-12, 2013. proceedings 4 Treffer
- applied microbiology and biotechnology 3 Treffer
- international journal on software tools for technology transfer 3 Treffer
- environmental science and pollution research 2 Treffer
- human-centric computing and information sciences 2 Treffer
- journal of industrial microbiology & biotechnology: official journal of the society for industrial microbiology and biotechnology 2 Treffer
- software and systems modeling 2 Treffer
- 3 biotech 1 Treffer
- acta informatica 1 Treffer
- anim cogn 1 Treffer
- archive for mathematical logic 1 Treffer
- archives of toxicology 1 Treffer
- basic research in cardiology 1 Treffer
- bioprocess and biosystems engineering 1 Treffer
- dictionary of gems and gemology ; page 656-656 1 Treffer
- elements 1 Treffer
- eur j pediatr 1 Treffer
- frontiers of computer science: selected publications from chinese universities 1 Treffer
- international journal of environmental science and technology 1 Treffer
- journal of applied genetics: microorganisms and organelles 1 Treffer
- journal of cryptographic engineering 1 Treffer
- journal of shanghai jiaotong university (science) 1 Treffer
- journal of solid state electrochemistry: current research and developmentin science and technology 1 Treffer
- lipids 1 Treffer
- organisms diversity & evolution 1 Treffer
- plant cell reports 1 Treffer
- soc psychiatry psychiatr epidemiol 1 Treffer
- software & systems modeling 1 Treffer
- zeitschrift fur jagdwissenschaft 1 Treffer
Sprache
Geographischer Bezug
1.260 Treffer
-
In: Software and Systems Modeling, Jg. 19 (2020-03-01), Heft 2, S. 425-439Online academicJournalZugriff:
-
In: International Journal on Software Tools for Technology Transfer, Jg. 20 (2018-04-01), Heft 2, S. 125-137Online academicJournalZugriff:
-
2019Online E-BookZugriff:
-
In: Software and Systems Modeling, Jg. 21 (2022-10-01), Heft 5, S. 1831-1852Online academicJournalZugriff:
-
2012Online E-BookZugriff:
-
2011Online E-BookZugriff:
-
2013Online E-BookZugriff:
-
2013Online E-BookZugriff:
-
2019Online unknownZugriff:
-
2011Online E-BookZugriff:
-
2009Online E-BookZugriff:
-
2009Online E-BookZugriff:
-
In: Programming Languages and Systems ; Lecture Notes in Computer Science ; page 189-208 ; ISSN 0302-9743 1611-3349 ; ISBN 9783642548321 9783642548338; (2014)BuchZugriff: