Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
- BASE 107 Treffer
- OpenAIRE 33 Treffer
- Scopus® 19 Treffer
- Complementary Index 13 Treffer
- Applied Science & Technology Source 10 Treffer
-
14 weitere Werte:
- Science Citation Index Expanded 7 Treffer
- Springer Nature Journals 7 Treffer
- Springer Nature eBooks 6 Treffer
- Academic Search Index 4 Treffer
- GBV Online Contents 2 Treffer
- IEEE Xplore Digital Library 2 Treffer
- SwePub 1 Treffer
- DBPIA 1 Treffer
- OpenDissertations 1 Treffer
- RCAAP 1 Treffer
- Business Source Ultimate 1 Treffer
- Directory of Open Access Journals 1 Treffer
- Networked Digital Library of Theses & Dissertations 1 Treffer
- Supplemental Index 1 Treffer
Art der Quelle
Schlagwort
- coq 122 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 64 Treffer
- proof assistant 47 Treffer
- floating-point arithmetic 20 Treffer
- mathematical software 18 Treffer
-
45 weitere Werte:
- [info.info-ms]computer science [cs]/mathematical software [cs.ms] 16 Treffer
- type theory 16 Treffer
- computable analysis 15 Treffer
- coq proof assistant 15 Treffer
- [info]computer science [cs] 14 Treffer
- [info.info-ao]computer science [cs]/computer arithmetic 13 Treffer
- modular arithmetic 12 Treffer
- [info.info-oh]computer science [cs]/other [cs.oh] 10 Treffer
- formalized mathematics 10 Treffer
- stability 10 Treffer
- [info.info-sc]computer science [cs]/symbolic computation [cs.sc] 9 Treffer
- 02 engineering and technology 8 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 8 Treffer
- interactive theorem proving 8 Treffer
- mathematical components 8 Treffer
- preuves formelles 8 Treffer
- rounding errors 8 Treffer
- runge-kutta 8 Treffer
- security 8 Treffer
- ssreflect 8 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 8 Treffer
- watermarking 8 Treffer
- [info.info-gt]computer science [cs]/computer science and game theory [cs.gt] 7 Treffer
- calculus of inductive constructions 7 Treffer
- discrete geometry 7 Treffer
- isomorphisms 7 Treffer
- mathematics 7 Treffer
- probabilistic algorithms 7 Treffer
- programming languages 7 Treffer
- 01 natural sciences 6 Treffer
- algorithms 6 Treffer
- computer science 6 Treffer
- computer science - logic in computer science 6 Treffer
- quantifier elimination 6 Treffer
- real algebraic geometry 6 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 6 Treffer
- [info.info-ia]computer science [cs]/computer aided engineering 5 Treffer
- 0102 computer and information sciences 5 Treffer
- 010201 computation theory & mathematics 5 Treffer
- 03f55 5 Treffer
- algebre lineaire 5 Treffer
- axioms 5 Treffer
- bsp 5 Treffer
- control 5 Treffer
- dependent types 5 Treffer
Verlag
- hal ccsd 85 Treffer
- springer nature 16 Treffer
- springer verlag 11 Treffer
- zenodo 10 Treffer
- springer international publishing 7 Treffer
-
35 weitere Werte:
- logical methods in computer science association 5 Treffer
- schloss dagstuhl - leibniz-zentrum fur informatik 5 Treffer
- kluwer academic publishers 4 Treffer
- schloss dagstuhl- leibniz-zentrum fur informatik gmbh, dagstuhl publishing 4 Treffer
- world scientific publishing company 4 Treffer
- springer 3 Treffer
- academic press inc. 2 Treffer
- arxiv 2 Treffer
- faculty of organization & informatics 2 Treffer
- ieee 2 Treffer
- institute of electrical and electronics engineers inc. 2 Treffer
- logical methods in computer science 2 Treffer
- scientific & technical research council of turkey 2 Treffer
- springer berlin heidelberg 2 Treffer
- springer netherlands 2 Treffer
- springer us 2 Treffer
- university of bologna 2 Treffer
- academic press inc elsevier science 1 Treffer
- alma mater studiorum - university of bologna 1 Treffer
- association for computing machinery, inc 1 Treffer
- elsevier b.v. 1 Treffer
- kluwer academic publ 1 Treffer
- korean institute of information scientists and engineers 1 Treffer
- lipics - leibniz international proceedings in informatics. 26th international conference on types for proofs and programs (types 2020) 1 Treffer
- lipics - leibniz international proceedings in informatics. 40th iarcs annual conference on foundations of software technology and theoretical computer science (fsttcs 2020) 1 Treffer
- lipics - leibniz international proceedings in informatics. 45th international symposium on mathematical foundations of computer science (mfcs 2020) 1 Treffer
- logical methods computer science e v 1 Treffer
- scientific technical research council turkey-tubitak 1 Treffer
- springer science and business media b.v. 1 Treffer
- tech univ braunschweig 1 Treffer
- tubitak 1 Treffer
- tubitak academic journals 1 Treffer
- universitat des saarlandes 1 Treffer
- ur. fi - inco. 1 Treffer
- wiley-iste 1 Treffer
Publikation
- journal of automated reasoning 17 Treffer
- issn: 0168-7433 9 Treffer
- parallel processing letters 5 Treffer
- turkish journal of mathematics 5 Treffer
- formal methods in system design 4 Treffer
-
31 weitere Werte:
- lecture notes in computer science 4 Treffer
- leibniz international proceedings in informatics, lipics 4 Treffer
- logical methods in computer science 4 Treffer
- annals of mathematics & artificial intelligence 3 Treffer
- annals of mathematics and artificial intelligence 3 Treffer
- $2 2 Treffer
- central european conference on information & intelligent systems 2 Treffer
- formal methods in system design: an international journal 2 Treffer
- information & computation 2 Treffer
- information and computation 2 Treffer
- interactive theorem proving - 8th international conference, itp 2017,proceedings 2 Treffer
- interactive theorem proving : 8th international conference, itp 2017, brasilia, brazil, september 26-29, 2017, proceedings 2 Treffer
- journal of formalized reasoning 2 Treffer
- logical methods in computer science (lmcs) 2 Treffer
- theses.fr 2 Treffer
- 2018 ieee real-time systems symposium (rtss), real-time systems symposium (rtss), 2018 ieee, rtss 1 Treffer
- 2019 ieee 27th annual international symposium on field-programmable custom computing machines (fccm), field-programmable custom computing machines (fccm), 2019 ieee 27th annual international symposium on, fccm 1 Treffer
- annals of mathematics and artificial intelligence : amai 1 Treffer
- certified programs and proofs - third international conference, cpp 2013, proceedings 1 Treffer
- certified programs and proofs : third international conference, cpp 2013, melbourne, vic, australia, december 11-13, 2013, proceedings 1 Treffer
- cpp 2018 - proceedings of the 7th acm sigplan international conference on certified programs and proofs, co-located with popl 2018 1 Treffer
- entcs: electronic notes in theoretical computer science 1 Treffer
- logic, language, information, and computation : 27th international workshop, wollic 2021, virtual event, october 5-8, 2021, proceedings 1 Treffer
- nasa formal methods : 14th international symposium, nfm 2022, pasadena, ca, usa, may 24-27, 2022, proceedings 1 Treffer
- proceedings - 27th ieee international symposium on field-programmable custom computing machines, fccm 2019 1 Treffer
- proceedings - real-time systems symposium 1 Treffer
- software specification methods 1 Treffer
- types 2022 : 28th international conference on types for proofs and programs ; 28th international conference on types for proofs and programs (types 2022) ; https://hal.science/hal-04245455 ; 28th international conference on types for proofs and programs (types 2022), jun 2022, nantes, france. pp.11:1-11:19, ⟨10.4230/lipics.types.2022.11⟩ 1 Treffer
- types for proofs & programs (9783642024436) 1 Treffer
- types for proofs and programs : international conference, types 2008 torino, italy, march 26-29, 2008 revised selected papers 1 Treffer
- 정보과학회논문지 : 소프트웨어 및 응용 1 Treffer
Sprache
Geographischer Bezug
218 Treffer
-
2021Online unknownZugriff:
-
In: 2018 IEEE Real-Time Systems Symposium (RTSS), 2018-12-01, S. 218-229KonferenzZugriff:
-
In: Logical Methods in Computer Science (LMCS), Jg. 17 (2021-04-01), Heft 2, S. 1-43Online academicJournalZugriff:
-
In: 2019 IEEE 27th Annual International Symposium on Field-Programmable Custom Computing Machines (FCCM), 2019-04-01, S. 315-315KonferenzZugriff:
-
In: TYPES 2022 : 28th International Conference on Types for Proofs and Programs ; 28th International Conference on Types for Proofs and Programs (TYPES 2022) ; https://hal.science/hal-04245455 ; 28th International Conference on Types for Proofs and Programs (TYPES 2022), Jun 2022, Nantes, France. pp.11:1-11:19, ⟨10.4230/LIPIcs.TYPES.2022.11⟩, 2022Online KonferenzZugriff:
-
2022academicJournalZugriff:
-
In: Annals of Mathematics and Artificial Intelligence, Jg. 74 (2015-08-01), Heft 3-4, S. 309-332Online academicJournalZugriff:
-
2021academicJournalZugriff:
-
2020academicJournalZugriff:
-
2023academicJournalZugriff:
-
2019Online Elektronische RessourceZugriff:
-
In: CPP 2018 - 7th ACM SIGPLAN International Conference on Certified Programs and Proofs ; https://inria.hal.science/hal-01639819 ; CPP 2018 - 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, Jan 2018, Los Angeles, United States. pp.1-14, ⟨10.1145/3167101⟩ ; https://popl18.sigplan.org/track/CPP-2018, 2018Online KonferenzZugriff:
-
In: Interactive Theorem Proving ; https://inria.hal.science/hal-01612293 ; Interactive Theorem Proving, Sep 2017, Brasilia, Brazil. ⟨10.1007/978-3-319-66107-0_10⟩, 2017Online KonferenzZugriff:
-
In: Journal of Automated Reasoning, Jg. 68 (2024-03-01), Heft 1Online academicJournalZugriff:
-
2022academicJournalZugriff:
-
In: Conference on Intelligent Computer Mathematics ; https://hal.science/hal-01152588 ; Conference on Intelligent Computer Mathematics, 2015, Washington, D.C., United States, 2015Online KonferenzZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff:
-
In: https://inria.hal.science/inria-00069919 ; RT-0255, INRIA. 2002, pp.290, 2002Online reportZugriff: