Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- coq 36 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 15 Treffer
- formal proof 11 Treffer
- [info.info-ai]computer science [cs]/artificial intelligence [cs.ai] 10 Treffer
- [info.info-ms]computer science [cs]/mathematical software [cs.ms] 10 Treffer
-
45 weitere Werte:
- [info.info-sc]computer science [cs]/symbolic computation [cs.sc] 10 Treffer
- acm: f.: theory of computation/f.3: logics and meanings of programs/f.3.1: specifying and verifying and reasoning about programs 10 Treffer
- geometry 10 Treffer
- acm: f.: theory of computation/f.4: mathematical logic and formal languages/f.4.1: mathematical logic/f.4.1.2: lambda calculus and related systems 9 Treffer
- [info.info-pf]computer science [cs]/performance [cs.pf] 7 Treffer
- [math.math-lo]mathematics [math]/logic [math.lo] 7 Treffer
- [math.math-na]mathematics [math]/numerical analysis [math.na] 7 Treffer
- acm: f.: theory of computation/f.4: mathematical logic and formal languages/f.4.1: mathematical logic/f.4.1.7: proof theory 7 Treffer
- acoustic wave equation 7 Treffer
- numerical scheme 7 Treffer
- partial differential equation 7 Treffer
- [info.info-ia]computer science [cs]/computer aided engineering 6 Treffer
- [info]computer science [cs] 6 Treffer
- acm: g.: mathematics of computing/g.1: numerical analysis/g.1.8: partial differential equations/g.1.8.2: finite difference methods 6 Treffer
- coq formal proofs 6 Treffer
- ocaml 6 Treffer
- [info.info-se]computer science [cs]/software engineering [cs.se] 5 Treffer
- algebra 5 Treffer
- coq proof assistant 5 Treffer
- area method 4 Treffer
- calculus of inductive constructions 4 Treffer
- extraction 4 Treffer
- phil 4 Treffer
- proof assistant 4 Treffer
- type theory 4 Treffer
- [info.info-cg]computer science [cs]/computational geometry [cs.cg] 3 Treffer
- [info.info-dm]computer science [cs]/discrete mathematics [cs.dm] 3 Treffer
- [info.info-ds]computer science [cs]/data structures and algorithms [cs.ds] 3 Treffer
- [info.info-es]computer science [cs]/embedded systems 3 Treffer
- [info.info-mo]computer science [cs]/modeling and simulation 3 Treffer
- [math.math-ca]mathematics [math]/classical analysis and odes [math.ca] 3 Treffer
- [math.math-ct]mathematics [math]/category theory [math.ct] 3 Treffer
- [scco.comp]cognitive science/computer science 3 Treffer
- acm: f.: theory of computation/f.4: mathematical logic and formal languages/f.4.2: grammars and other rewriting systems 3 Treffer
- acm: i.: computing methodologies/i.6: simulation and modeling 3 Treffer
- acm: i.: computing methodologies/i.6: simulation and modeling/i.6.7: simulation support systems 3 Treffer
- bdd 3 Treffer
- common knowledge 3 Treffer
- completeness 3 Treffer
- computer architecture 3 Treffer
- convex polyhedra 3 Treffer
- cut-elimination 3 Treffer
- decision procedure 3 Treffer
- decision procedures 3 Treffer
- epistemic logic 3 Treffer
Publikation
- issn: 1661-8270 6 Treffer
- 19th eacsl annual conference on computer science logic ; https://inria.hal.science/inria-00497404 ; 19th eacsl annual conference on computer science logic, aug 2010, brno, czech republic. pp.529--543, ⟨10.1007/978-3-642-15205-4_40⟩ 2 Treffer
- dependable software engineering: theories, tools, and applications ; https://inria.hal.science/hal-01241837 ; xuandong li, zhiming liu, wang yi. dependable software engineering: theories, tools, and applications, 9409, springer, pp.315, 2015, lecture notes in computer science, isbn 978-3-319-25942-0. ⟨10.1007/978-3-319-25942-0⟩ 1 Treffer
Sprache
Geographischer Bezug
131 Treffer
-
In: ISSN: 1661-8270, 2015Online academicJournalZugriff:
-
In: ISSN: 1661-8270, 2015Online academicJournalZugriff:
-
In: Interactive Theorem Proving 2013 ; https://hal.science/hal-00785969 ; Interactive Theorem Proving 2013, Jul 2013, Rennes, France. pp.180-196, ⟨10.1007/978-3-642-39634-2_15⟩, 2013Online KonferenzZugriff:
-
In: Interactive Theorem Proving 2013 ; https://hal.science/hal-00785969 ; Interactive Theorem Proving 2013, Jul 2013, Rennes, France. pp.180-196, ⟨10.1007/978-3-642-39634-2_15⟩, 2013Online KonferenzZugriff:
-
In: Interactive Theorem Proving ; Interactive Theorem Proving, 4th international conference ; https://hal.science/hal-00816672, 2013Online KonferenzZugriff:
-
In: Interactive Theorem Proving ; Interactive Theorem Proving, 4th international conference ; https://hal.archives-ouvertes.fr/hal-00816672, 2013Online KonferenzZugriff:
-
In: Interactive Theorem Proving 2013 ; https://hal.archives-ouvertes.fr/hal-00785969 ; Interactive Theorem Proving 2013, Jul 2013, Rennes, France. pp.180-196, ⟨10.1007/978-3-642-39634-2_15⟩, 2013Online KonferenzZugriff:
-
In: Interactive Theorem Proving ; Interactive Theorem Proving, 4th international conference ; https://hal.science/hal-00816672, 2013Online KonferenzZugriff:
-
In: ITP 2018: Interactive Theorem Proving ; ITP 2018 - International Conference on Interactive Theorem Proving ; https://hal.archives-ouvertes.fr/hal-01716048 ; ITP 2018 - International Conference on Interactive Theorem Proving, Jul 2018, Oxford, United Kingdom. pp.88-107, ⟨10.1007/978-3-319-94821-8_6⟩, 2018Online KonferenzZugriff:
-
In: ITP 2018: Interactive Theorem Proving ; ITP 2018 - International Conference on Interactive Theorem Proving ; https://hal.science/hal-01716048 ; ITP 2018 - International Conference on Interactive Theorem Proving, Jul 2018, Oxford, United Kingdom. pp.88-107, ⟨10.1007/978-3-319-94821-8_6⟩, 2018Online KonferenzZugriff:
-
In: Post-proceedings of Automated Deduction in Geometry (ADG) 2008 ; https://hal.inria.fr/inria-00305998 ; Post-proceedings of Automated Deduction in Geometry (ADG) 2008, Thomas Sturm, Sep 2008, Shanghai, China. pp.141-162, ⟨10.1007/978-3-642-21046-4⟩, 2008Online KonferenzZugriff:
-
In: Post-proceedings of Automated Deduction in Geometry (ADG) 2008 ; https://inria.hal.science/inria-00305998 ; Post-proceedings of Automated Deduction in Geometry (ADG) 2008, Thomas Sturm, Sep 2008, Shanghai, China. pp.141-162, ⟨10.1007/978-3-642-21046-4⟩, 2008Online KonferenzZugriff:
-
In: 21st International Conference on Formal Engineering Methods (ICFEM) ; https://hal.science/hal-02317118 ; 21st International Conference on Formal Engineering Methods (ICFEM), 2019, Shenzen, China. ⟨10.1007/978-3-030-32409-4_28⟩, 2019Online KonferenzZugriff:
-
In: 21st International Conference on Formal Engineering Methods (ICFEM) ; https://hal.archives-ouvertes.fr/hal-02317118 ; 21st International Conference on Formal Engineering Methods (ICFEM), 2019, Shenzen, China. ⟨10.1007/978-3-030-32409-4_28⟩, 2019Online KonferenzZugriff:
-
In: LERNET Summer School ; https://hal.inria.fr/inria-00329572 ; LERNET Summer School, Ana Bove and Jorge Sousa Pinto, Feb 2008, Piriapolis, Uruguay, 2008Online KonferenzZugriff:
-
In: LERNET Summer School ; https://inria.hal.science/inria-00329572 ; LERNET Summer School, Ana Bove and Jorge Sousa Pinto, Feb 2008, Piriapolis, Uruguay, 2008Online KonferenzZugriff:
-
In: Lecture Notes In Computer Science ; Theorem Proving in Higher Order Logics 2004 ; https://inria.hal.science/inria-00001035 ; Theorem Proving in Higher Order Logics 2004, Jul 2004, Park City, USA, United States. pp.225-240, ⟨10.1007/b100400⟩, 2004Online KonferenzZugriff:
-
In: Lecture Notes In Computer Science ; Theorem Proving in Higher Order Logics 2004 ; https://inria.hal.science/inria-00001035 ; Theorem Proving in Higher Order Logics 2004, Jul 2004, Park City, USA, United States. pp.225-240, ⟨10.1007/b100400⟩, 2004Online KonferenzZugriff:
-
In: Lecture Notes In Computer Science ; Theorem Proving in Higher Order Logics 2004 ; https://inria.hal.science/inria-00001035 ; Theorem Proving in Higher Order Logics 2004, Jul 2004, Park City, USA, United States. pp.225-240, ⟨10.1007/b100400⟩, 2004Online KonferenzZugriff:
-
In: Lecture Notes In Computer Science ; Theorem Proving in Higher Order Logics 2004 ; https://hal.inria.fr/inria-00001035 ; Theorem Proving in Higher Order Logics 2004, Jul 2004, Park City, USA, United States. pp.225-240, ⟨10.1007/b100400⟩, 2004Online KonferenzZugriff: