Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

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

72.501 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
    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?
  3. Detailansicht für Treffer 3 ö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?
  4. Detailansicht für Treffer 4 öffnen
    多旋翼飞控推进子系统的Coq形式化验证
    石正璞;崔敏;谢果君;陈钢
    In: 软件学报 / Journal of Software, Jg. 33 (2022), Heft 6, S. 2150
    academicJournal
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    基于Coq的矩阵代码生成技术
    麻莹莹;陈钢
    In: 软件学报 / Journal of Software, Jg. 33 (2022), Heft 6, S. 2224
    academicJournal
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    基于Coq的杨忠道定理形式化证明
    严升;郁文生;付尧顺
    In: 软件学报 / Journal of Software, Jg. 33 (2022), Heft 6, S. 2208
    academicJournal
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!
    academicJournal
  8. Detailansicht für Treffer 8 öffnen
    Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!
    academicJournal
  9. Detailansicht für Treffer 9 ö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?
  10. Detailansicht für Treffer 10 öffnen
    Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!
    academicJournal
  11. Detailansicht für Treffer 11 öffnen
    基于Coq的分块矩阵运算的形式化
    麻莹莹;马振威;陈钢
    In: 软件学报 / Journal of Software, Jg. 32 (2021), Heft 6, S. 1882
    academicJournal
    Wie komme ich dran?
  12. Detailansicht für Treffer 12 öffnen
    Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!
    academicJournal
  13. Detailansicht für Treffer 13 öffnen
    SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq.
    HASELWARTER, PHILIPP G. ; RIVAS, EXEQUIEL ; et al.
    In: ACM Transactions on Programming Languages & Systems, Jg. 45 (2023-09-01), Heft 3, S. 1-61
    Online academicJournal
    Zugriff:
    Volltext (PDF)
    Wie komme ich dran?
  14. Detailansicht für Treffer 14 öffnen
    Coq Formalization of ZFC Set Theory for Teaching Scenarios.
    Wan, Xinyi ; Xu, Ke ; et al.
    In: International Journal of Software & Informatics, Jg. 13 (2023-07-01), Heft 3, S. 323-357
    Online academicJournal
    Zugriff:
    Volltext (PDF)
    Wie komme ich dran?
  15. Detailansicht für Treffer 15 öffnen
    A Formal System of Axiomatic Set Theory in Coq
    Sun, T. ; Yu, W.
    In: IEEE Access, Jg. 8 (2020), S. 21510-21523
    Online academicJournal
    Zugriff:
    Volltext
    Wie komme ich dran?
  16. Detailansicht für Treffer 16 öffnen
    基于Coq的有标集族相关定理的机器证明
    刘佳;吕红伟;付尧顺;郁文生
    In: 伊犁师范学院学报:自然科学版 / Journal of Yili Normal University:Natural Science Edition, Jg. 14 (2020), Heft 2, S. 13
    academicJournal
    Wie komme ich dran?
  17. Detailansicht für Treffer 17 öffnen
    基于Coq的Paxos形式化建模与验证
    李亚男;邓玉欣;刘静
    In: 软件学报 / Journal of Software, Jg. 31 (2020), Heft 8, S. 2362
    academicJournal
    Wie komme ich dran?
  18. Detailansicht für Treffer 18 öffnen
    基于Coq的操作系统任务管理需求层建模及验证
    姜菁菁;乔磊;杨孟飞;杨桦;刘波
    In: 软件学报 / Journal of Software, Jg. 31 (2020), Heft 8, S. 2375
    academicJournal
    Wie komme ich dran?
  19. Detailansicht für Treffer 19 öffnen
    基于COQ的有限域GF(2n)的形式化研究
    范永乾;陈钢;崔敏
    In: 计算机科学 / Computer Science, Jg. 47 (2020), Heft 12, S. 311
    academicJournal
    Wie komme ich dran?
  20. Detailansicht für Treffer 20 öffnen
    Formalizing the Semantics of a Classical-Quantum Imperative Language in Coq.
    Shi, Wenjun ; Cao, Qinxiang ; et al.
    In: J. Circuits Syst. Comput., Jg. 33 (2024), Heft 6, S. 1-25
    academicJournal
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -