Search alternatives:
"provers" » "providers" (Expand Search)
Showing 1 - 4 results of 4 for search '"provers"', query time: 0.06s Refine Results
  1. 1
    Proverbs and Sayings of the Swahili Language in Written Discourse

    Proverbs and Sayings of the Swahili Language in Written Discourse by Victoria S. Shatokhina

    Published 2025-07-01
    Subjects: “…provers…”
    Get full text
    Article
    Save to List
    Saved in:
  2. 2
    A Control Flow Graph Based Approach to Make the Verification of Cyber-Physical Systems Using KeYmaera Easier

    A Control Flow Graph Based Approach to Make the Verification of Cyber-Physical Systems Using KeYmaera Easier by Thomas Baar, Sergey Staroletov

    Published 2018-10-01
    Subjects:
    Get full text
    Article
    Save to List
    Saved in:
  3. 3
    A Review on Mechanical Proving and Formalization of Mathematical Theorems

    A Review on Mechanical Proving and Formalization of Mathematical Theorems by Si Chen, Wensheng Yu, Guowei Dou, Qimeng Zhang

    Published 2025-01-01
    Subjects:
    Get full text
    Article
    Save to List
    Saved in:
  4. 4
    On the application of the calculus of positively constructed formulas for the study of controlled discrete-event systems

    On the application of the calculus of positively constructed formulas for the study of controlled discrete-event systems by Artem Davydov, Aleksandr A. Larionov, Nadezhda V. Nagul

    Published 2024-03-01
    Subjects:
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: