Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

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

Sprache

27 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 Researchers Report Research in Mathematics (Lolisa: Formal Syntax and Semantics for a Subset of the Solidity Programming Language in Mathematical Tool Coq)
    In: Computer Weekly News, 2020-12-30, S. 923
    Zeitungsartikel
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 ö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?
  9. Detailansicht für Treffer 9 ö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?
  10. Detailansicht für Treffer 10 ö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?
  11. Detailansicht für Treffer 11 ö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?
  12. Detailansicht für Treffer 12 ö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?
  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 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?
  15. Detailansicht für Treffer 15 öffnen
    New Findings in Software Research Described by A. Faithfull and Co-Researchers (Coqoon An IDE for interactive proof development in Coq)
    In: Computer Weekly News, 2018-04-25, S. 522
    Zeitungsartikel
    Wie komme ich dran?
  16. Detailansicht für Treffer 16 ö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?
  17. Detailansicht für Treffer 17 ö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?
  18. Detailansicht für Treffer 18 ö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?
  19. Detailansicht für Treffer 19 öffnen
    'User Safety And Support In Search And Rescue Missions' in Patent Application Approval Process (USPTO 20230047041)
    In: Computer Weekly News, 2023-03-08, S. 1907
    Zeitungsartikel
    Wie komme ich dran?
  20. Detailansicht für Treffer 20 öffnen
    Researchers Submit Patent Application, 'Battery State Of Charge Management For Storage', for Approval (USPTO 20220381834)
    In: Computer Weekly News, 2022-12-21, S. 7562
    Zeitungsartikel
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -