Search Results - "proof"

Suggested Topics within your search.
Refine Results
  1. 61
    Cover Image

    Foundations of Software Science and Computation Structures 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

    Published 2022
    Subjects: “…type theory and proof theory…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  2. 62
    Cover Image

    Foundations of Software Science and Computation Structures 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

    Published 2022
    Subjects: “…type theory and proof theory…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  3. 63
    Cover Image

    Exploring the Future of Christian Monasticisms by Peters, Greg

    Published 2020
    Subjects: “…proof of God's existence…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  4. 64
    Cover Image

    Intelligent Computing for Big Data

    Published 2022
    Subjects: “…proof-of-replication…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  5. 65
    Cover Image

    Advances in Information Security and Privacy

    Published 2022
    Subjects: “…proof of work…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  6. 66
    Cover Image

    Security and Privacy in Blockchains and the IoT

    Published 2023
    Subjects: “…Proof-of-Work…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  7. 67
    Cover Image

    Alternative Assets and Cryptocurrencies

    Published 2019
    Subjects: “…proof-of-work…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  8. 68
    Cover Image

    Foundations of Software Science and Computation Structures 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

    Published 2021
    Subjects: “…type theory and proof theory…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  9. 69
    Cover Image

    Urban Renewal, Governance and Sustainable Development: More of the Same or New Paths?

    Published 2022
    Subjects: “…future proof cities…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  10. 70
    Cover Image

    Foundations of Software Science and Computation Structures 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

    Published 2021
    Subjects: “…type theory and proof theory…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  11. 71
    Cover Image

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

    Published 2022
    Subjects: “…Proofs-as-Programs…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  12. 72
    Cover Image

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

    Published 2022
    Subjects: “…Proofs-as-Programs…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  13. 73
    Cover Image

    Foundations of Software Science and Computation Structures 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

    Published 2020
    Subjects: “…type theory and proof theory…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  14. 74
    Cover Image

    Foundations of Software Science and Computation Structures 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

    Published 2020
    Subjects: “…type theory and proof theory…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  15. 75
    Cover Image

    10th EASN International Conference on Innovation in Aviation & Space to the Satisfaction of the European Citizens

    Published 2022
    Subjects: “…proof-of-concept…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  16. 76
    Cover Image

    Deductive Systems in Traditional and Modern Logic

    Published 2020
    Subjects: “…meta-proof theory…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  17. 77
    Cover Image

    Advancements in Real-Time Simulation of Power and Energy Systems

    Published 2021
    Subjects: “…proof of concept…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  18. 78
    Cover Image

    Insecticides for Mosquito Control: Strengthening the Evidence Base

    Published 2023
    Subjects: “…bite-proof garment…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  19. 79
    Cover Image

    Insecticides for Mosquito Control: Strengthening the Evidence Base

    Published 2023
    Subjects: “…bite-proof garment…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  20. 80
    Cover Image

    Computational Intelligence and Soft Computing: Recent Applications

    Published 2023
    Subjects: “…proof-of-work…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:

Search Tools: