Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

Artikel & mehr
151.529 Treffer

Suchmaske

Suchtipp für den Bereich Artikel & mehr: Wörter werden automatisch mit UND verknüpft. Eine ODER-Verknüpfung erreicht man mit dem Zeichen "|", eine NICHT-Verknüpfung mit einem "-" (Minus) vor einem Wort. Anführungszeichen ermöglichen eine Phrasensuche.
Beispiele: (burg | schloss) -mittelalter, "berufliche bildung"

Das folgende Suchfeld wird hier nicht unterstützt: "Signatur / Strichcode".

Suchergebnisse einschränken oder erweitern

Erscheinungszeitraum

Mehr Treffer

Weniger Treffer

Gefunden in

Art der Quelle

Schlagwort

Verlag

Publikation

Sprache

Geographischer Bezug

151.529 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Formal Proof of Contract Theorem in First-Order Logic in Coq
    Wang, Qiming ; Liu, Jianghao ; et al.
    In: 2023 9th International Conference on Computer and Communications (ICCC), 2023-12-08, S. 1520-1524
    Konferenz
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    Formal Verification of Taylor’s Theorem in Coq
    Gao, Chang ; Zhou, Yanwen ; et al.
    In: 2023 9th International Conference on Computer and Communications (ICCC), 2023-12-08, S. 1510-1514
    Konferenz
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    Gallus : Scotland, England and the 1967 World Cup Final
    McEwan, Michael
    2023
    Online E-Book
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    Formal Proof of the Mean Value Theorem Based on Coq
    Zhou, Yanwen ; Gao, Chang ; et al.
    In: 2023 China Automation Congress (CAC), 2023-11-17, S. 5726-5730
    Konferenz
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    Formalizing the Term Substitution Theorem in First-Order Logic within the Coq Proof Assistant
    Guo, Dakai ; Wang, Qiming ; et al.
    In: 2023 China Automation Congress (CAC), 2023-11-17, S. 2792-2796
    Konferenz
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    Formalization of Dedekind Fundamental Theorem in Coq
    Leng, Shukun ; Guo, Dakai ; et al.
    In: 2023 China Automation Congress (CAC), 2023-11-17, S. 6683-6687
    Konferenz
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    Coq에서 배중률을 사용한 정리의 증명 구조에 대한 탐구
    박지희 (Jihee Park) ; 류석영 (Sukyoung Ryu)
    In: 정보과학회 컴퓨팅의 실제 논문지, Jg. 30 (2024-04-30), Heft 4, S. 193-197
    academicJournal
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    A Case Study in Formalizing Hilbert's Foundations of Geometry in Coq: Establishing Key Properties of Lines in Hilbert's Axiom System
    Zhang, Qimeng ; Yu, Wensheng
    In: 2023 China Automation Congress (CAC), 2023-11-17, S. 1926-1930
    Konferenz
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    Formalization in Coq of the standardization theorem for λ-calculus
    Calisto, Bruna Isabel Afonso ; Pinto, Luís F. ; et al.
    2023
    Online unknown
    Zugriff:
    View record in RCAAP (Volltext)
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    Analysis and Research of Computer Software Security Vulnerability Technology Based on COQ
    Zhang, Yuxin
    In: 2023 International Conference on Networking, Informatics and Computing (ICNETIC), 2023-05-01, S. 360-364
    Konferenz
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 öffnen
    Teaching Divisibility and Binomials with Coq
    Boldo, Sylvie ; Clément, François ; et al.
    Online report
    Zugriff:
    View this record from Arxiv (Volltext)
    Wie komme ich dran?
  12. Detailansicht für Treffer 12 öffnen
    ViCAR: Visualizing Categories with Automated Rewriting in Coq
    Shah, Bhakti ; Spencer, William ; et al.
    Online report
    Zugriff:
    View this record from Arxiv (Volltext)
    Wie komme ich dran?
  13. Detailansicht für Treffer 13 öffnen
    A Coq Library of Sets for Teaching Denotational Semantics
    Cao, Qinxiang ; Wu, Xiwei ; et al.
    Online report
    Zugriff:
    View this record from Arxiv (Volltext)
    Wie komme ich dran?
  14. Detailansicht für Treffer 14 öffnen
    Enhancing Formal Theorem Proving: A Comprehensive Dataset for Training AI Models on Coq Code
    Florath, Andreas
    Online report
    Zugriff:
    View this record from Arxiv (Volltext)
    Wie komme ich dran?
  15. Detailansicht für Treffer 15 öffnen
    From Intuition to Coq: A Case Study in Verified Response-Time Analysis 1 of FIFO Scheduling
    Bedarkar, Kimaya ; Vardishvili, Mariam ; et al.
    In: 2022 IEEE Real-Time Systems Symposium (RTSS), 2022-12-01, S. 197-210
    Konferenz
    Wie komme ich dran?
  16. Detailansicht für Treffer 16 öffnen
    A Comprehensive Overview of the Lebesgue Differentiation Theorem in Coq
    Affeldt, Reynald ; Stone, Zachary
    Online report
    Zugriff:
    View this record from Arxiv (Volltext)
    Wie komme ich dran?
  17. Detailansicht für Treffer 17 öffnen
    Taming Differentiable Logics with Coq Formalisation
    Affeldt, Reynald ; Bruni, Alessandro ; et al.
    Online report
    Zugriff:
    View this record from Arxiv (Volltext)
    Wie komme ich dran?
  18. Detailansicht für Treffer 18 öffnen
    A Coq Mechanization of JavaScript Regular Expression Semantics
    De Santo, Noé ; Barrière, Aurèle ; et al.
    Online report
    Zugriff:
    View this record from Arxiv (Volltext)
    Wie komme ich dran?
  19. Detailansicht für Treffer 19 öffnen
    Formalizing a Continuous Function in Topological Spaces Using Coq
    Yan, Sheng ; Yu, Wensheng
    In: 2022 China Automation Congress (CAC), 2022-11-25, S. 3433-3436
    Konferenz
    Wie komme ich dran?
  20. Detailansicht für Treffer 20 öffnen
    A Matroid-Based Automatic Prover and Coq Proof Generator for Projective Incidence Geometry
    Braun, David ; Magaud, Nicolas ; et al.
    In: Journal of Automated Reasoning, Jg. 68 (2024-03-01), Heft 1
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -