Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

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

131 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
    Studies from Aarhus University Add New Findings in the Area of Information and Data Encoding and Encryption (Ssprove: a Foundational Framework for Modular Cryptographic Proofs In Coq)
    In: Information Technology Newsweekly, 2023-10-31, S. 805
    Zeitungsartikel
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 ö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?
  5. Detailansicht für Treffer 5 ö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?
  6. Detailansicht für Treffer 6 öffnen
    New Data Systems Data Has Been Reported by a Researcher at Beijing University of Posts and Telecommunications (Formal Verification of a Topological Spatial Relations Model for Geographic Information Systems in Coq)
    In: Information Technology Newsweekly, 2023-03-14, S. 324
    Zeitungsartikel
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 ö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?
  8. Detailansicht für Treffer 8 öffnen
    Formalization of a parameterized parallel adder within the Coq theorem prover
    Chen, G.
    In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Jg. 29 (2010), Heft 1, S. 149-301
    Online academicJournal
    Zugriff:
    Volltext
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 ö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?
  10. Detailansicht für Treffer 10 öffnen
    Studies from Federal University Pernambuco Provide New Data on Information Technology (Validating, Verifying and Testing Timed Data-flow Reactive Systems In Coq From Controlled Natural-language Requirements)
    In: Information Technology Newsweekly, 2021-01-05, S. 857
    Zeitungsartikel
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 ö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?
  12. Detailansicht für Treffer 12 ö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?
  13. Detailansicht für Treffer 13 ö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?
  14. Detailansicht für Treffer 14 ö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?
  15. Detailansicht für Treffer 15 ö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?
  16. Detailansicht für Treffer 16 öffnen
    Coq au Vin
    Clark, Melissa
    In: The New York Times, 2017-02-19, S. F10
    Online Zeitungsartikel
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  17. Detailansicht für Treffer 17 ö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?
  18. Detailansicht für Treffer 18 ö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?
  19. Detailansicht für Treffer 19 ö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?
  20. Detailansicht für Treffer 20 öffnen
    Le Coq Rico Captures Essence of a Parisian Poultry Palace
    Fabricant, Florence
    In: The New York Times, 2016-03-09, S. D3
    Online Zeitungsartikel
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -