Search Results - "first order logic"

Suggested Topics within your search.
  • Showing 1 - 7 results of 7
Refine Results
  1. 1
    Cover Image

    Chapter Dynamic Dispatch for Method Contracts Through Abstract Predicates by Mostowski, Wojciech

    Published 2017
    Subjects: “…First-order logic…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  2. 2
    Cover Image

    Chapter Dynamic Dispatch for Method Contracts Through Abstract Predicates by Mostowski, Wojciech

    Published 2017
    Subjects: “…First-order logic…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  3. 3
    Cover Image

    Inquisitive Logic Consequence and Inference in the Realm of Questions by Ciardelli, Ivano

    Published 2022
    Subjects: “…Questions in first-order logic…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  4. 4
    Cover Image

    Inquisitive Logic Consequence and Inference in the Realm of Questions by Ciardelli, Ivano

    Published 2022
    Subjects: “…Questions in first-order logic…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  5. 5
    Cover Image

    Logic and Computation

    Published 2023
    Subjects: “…first-order logic…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  6. 6
    Cover Image

    Automated Deduction - CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings

    Published 2021
    Subjects: “…first order logic…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  7. 7
    Cover Image

    Automated Deduction - CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings

    Published 2021
    Subjects: “…first order logic…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:

Search Tools: