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
- 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
- european journal of applied physiology 1 Treffer
- frontiers of computer science: selected publications from chinese universities 1 Treffer
- international journal of environmental science and technology 1 Treffer
- international journal of legal medicine 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.262 Treffer
-
In: Tools and Algorithms for the Construction and Analysis of Systems ; Lecture Notes in Computer Science ; page 167-183 ; ISSN 0302-9743 1611-3349 ; ISBN 9783540643562 9783540697534; (1998)BuchZugriff:
-
2008Online unknownZugriff:
-
2016Online E-BookZugriff:
-
2007Online unknownZugriff:
-
2013Online unknownZugriff:
-
2010Online unknownZugriff:
-
2006Online unknownZugriff: