Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

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

17 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Researchers from University of Strasbourg Discuss Findings in Automated Reasoning (A Matroid-based Automatic Prover and Coq Proof Generator for Projective Incidence Geometry).
    In: Computer Weekly News, 2024-03-06, S. 1188
    Zeitungsartikel
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    New Automated Reasoning Findings from University of Paris Saclay Reported (Enabling Floating-point Arithmetic In the Coq Proof Assistant).
    In: Computer Weekly News, 2023-12-06, S. 449
    Zeitungsartikel
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    Beijing University of Posts and Telecommunications Researcher Highlights Recent Research in Mathematics (A Comprehensive Formalization of Propositional Logic in Coq: Deduction Systems, Meta-Theorems, and Automation Tactics).
    In: Computer Weekly News, 2023-06-21, S. 74
    Zeitungsartikel
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    Researchers from Saarland University Report Recent Findings in Automated Reasoning (Synthetic Undecidability and Incompleteness of First-order Axiom Systems In Coq Extended Version).
    In: Computer Weekly News, 2023-04-19, S. 629
    Zeitungsartikel
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    Data from East China Normal University Advance Knowledge in Computer Science (Symbolic Reasoning About Quantum Circuits In Coq).
    In: Computer Weekly News, 2022-01-12, S. 50
    Zeitungsartikel
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    Investigators from University of Paris Saclay Target Automated Reasoning (A Coq Formalization of Lebesgue Integration of Nonnegative Functions).
    In: Computer Weekly News, 2021-12-22, S. 379
    Zeitungsartikel
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    University of Electronic Science and Technology of China Details Findings in Engineering (A Hybrid Formal Verification System in Coq for Ensuring the Reliability and Security of Ethereum-Based Service Smart Contracts).
    In: Computer Weekly News, 2020-05-13, S. 1159
    Zeitungsartikel
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    Researchers from Beijing University of Posts and Telecommunications Provide Details of New Studies and Findings in the Area of Engineering (A Formal System of Axiomatic Set Theory In Coq).
    In: Computer Weekly News, 2020-05-13, S. 878
    Zeitungsartikel
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    Findings from Nanjing University Update Knowledge of Computer Programming (Formalizing Sparcv8 Instruction Set Architecture In Coq).
    In: Computer Weekly News, 2020-03-18, S. 193
    Zeitungsartikel
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    Findings on Automated Reasoning Reported by Investigators at University of Saarland (Call-by-Value Lambda Calculus as a Model of Computation in Coq).
    In: Computer Weekly News, 2019-08-14, S. 203
    Zeitungsartikel
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 öffnen
    Findings on Computer Programming Reported by Investigators at Peking University (Reasoning about connectors using Coq and Z3).
    In: Computer Weekly News, 2019-01-23, S. 345
    Zeitungsartikel
    Wie komme ich dran?
  12. Detailansicht für Treffer 12 öffnen
    New Calculus Findings Has Been Reported by Investigators at University of Hong Kong (Embedding the refinement calculus in Coq).
    In: Computer Weekly News, 2018-09-19, S. 466
    Zeitungsartikel
    Wie komme ich dran?
  13. Detailansicht für Treffer 13 öffnen
    Researchers from University of Massachusetts Detail Findings in Computer Programming (A Coq library for internal verification of running-times).
    In: Computer Weekly News, 2018-09-19, S. 697
    Zeitungsartikel
    Wie komme ich dran?
  14. Detailansicht für Treffer 14 öffnen
    New Parallel and Distributed Computing Study Findings Recently Were Reported by Researchers at University of Orleans (Calculating Parallel Programs in Coq Using List Homomorphisms).
    In: Computer Weekly News, 2017-05-03, S. 458
    Zeitungsartikel
    Wie komme ich dran?
  15. Detailansicht für Treffer 15 öffnen
    Reports Outline Computer Programming Study Findings from French Institute for Research in Computer Science and Automation (Gradual Certified Programming in Coq).
    In: Computer Weekly News, 2016-06-22, S. 403
    Zeitungsartikel
    Wie komme ich dran?
  16. Detailansicht für Treffer 16 öffnen
    Research Conducted at Peking University Has Updated Our Knowledge about Computer Programming (Modeling and verification of component connectors in Coq).
    In: Computer Weekly News, 2016-01-13, S. 280
    Zeitungsartikel
    Wie komme ich dran?
  17. Detailansicht für Treffer 17 öffnen
    Studies by N. Gaspar and Co-Authors Describe New Findings in Parallel and Distributed Computing (Bringing Coq into the World of GCM Distributed Applications).
    In: Computer Weekly News, 2014-07-03, S. 546
    Zeitungsartikel
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -