Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

Artikel & mehr
85.109 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

Aktive Suchfilter

Erscheinungszeitraum

Mehr Treffer

Weniger Treffer

Gefunden in

Art der Quelle

Schlagwort

Verlag

Publikation

Sprache

Geographischer Bezug

85.109 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Coq에서 배중률을 사용한 정리의 증명 구조에 대한 탐구
    박지희 (Jihee Park) ; 류석영 (Sukyoung Ryu)
    In: 정보과학회 컴퓨팅의 실제 논문지, Jg. 30 (2024-04-30), Heft 4, S. 193-197
    academicJournal
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 ö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?
  3. Detailansicht für Treffer 3 ö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?
  4. Detailansicht für Treffer 4 ö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?
  5. Detailansicht für Treffer 5 ö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?
  6. Detailansicht für Treffer 6 ö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?
  7. Detailansicht für Treffer 7 ö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?
  8. Detailansicht für Treffer 8 ö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?
  9. Detailansicht für Treffer 9 ö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?
  10. Detailansicht für Treffer 10 ö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?
  11. Detailansicht für Treffer 11 ö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?
  12. Detailansicht für Treffer 12 öffnen
    Psychanalystes en temps de catastrophes et de mutations sociétales, Le Coq héron, no 252, 2023
    Guillaume, Jean-Claude
    In: Journal de la psychanalyse de l'enfant, Jg. 14 (2024-03-25), Heft 1, S. 245-250
    Online academicJournal
    Zugriff:
    View record in Cairn.info (Volltext)
    Wie komme ich dran?
  13. Detailansicht für Treffer 13 öffnen
    多旋翼飞控推进子系统的Coq形式化验证
    石正璞;崔敏;谢果君;陈钢
    In: 软件学报 / Journal of Software, Jg. 33 (2022), Heft 6, S. 2150
    academicJournal
    Wie komme ich dran?
  14. Detailansicht für Treffer 14 öffnen
    基于Coq的矩阵代码生成技术
    麻莹莹;陈钢
    In: 软件学报 / Journal of Software, Jg. 33 (2022), Heft 6, S. 2224
    academicJournal
    Wie komme ich dran?
  15. Detailansicht für Treffer 15 öffnen
    基于Coq的杨忠道定理形式化证明
    严升;郁文生;付尧顺
    In: 软件学报 / Journal of Software, Jg. 33 (2022), Heft 6, S. 2208
    academicJournal
    Wie komme ich dran?
  16. Detailansicht für Treffer 16 öffnen
    Brown adipose tissue CoQ deficiency activates the integrated stress response and FGF21-dependent mitohormesis.
    Chang, Ching-Fang ; Gunawan, Amanda ; et al.
    In: The EMBO Journal, Jg. 43 (2024), Heft 2
    Online academicJournal
    Zugriff:
    View record in eScholarship (Volltext)
    Wie komme ich dran?
  17. Detailansicht für Treffer 17 öffnen
    In vitro construction of the COQ metabolon unveils the molecular determinants of coenzyme Q biosynthesis
    Nicoll, Callum R. ; Alvigini, Laura ; et al.
    In: Nature Catalysis, Jg. 7 (2024-02-01), Heft 2, S. 148-160
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  18. Detailansicht für Treffer 18 öffnen
    A Coq proof of the correctness of X25519 in TweetNaCl
    Schwabe, Peter ; Viguier, Benoit ; et al.
    In: 2021 IEEE 34th Computer Security Foundations Symposium (CSF), 2021-06-01, S. 1-16
    Konferenz
    Wie komme ich dran?
  19. Detailansicht für Treffer 19 öffnen
    Roosterize: Suggesting Lemma Names for Coq Verification Projects Using Deep Learning
    Nie, Pengyu ; Palmskog, Karl ; et al.
    In: 2021 IEEE/ACM 43rd International Conference on Software Engineering: Companion Proceedings (ICSE-Companion), 2021-05-01, S. 21-24
    Konferenz
    Wie komme ich dran?
  20. Detailansicht für Treffer 20 öffnen
    Mechanization of a Large DSML: An Experiment with AADL and Coq
    Hugues, Jerome ; Wrage, Lutz ; et al.
    In: 2022 20th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE), 2022-10-13, S. 1-9
    Konferenz
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -