Rezultati - "proof theory"

Priporočene teme znotraj vašega iskanja.
  • Showing 1 - 9 results of 9
Refine Results
  1. 1
    Slika na naslovnici

    Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings

    Izdano 2023
    Teme: “...proof theory...”
    DOAB: download the publication
    DOAB: description of the publication
    Elektronski Book Chapter

    Dodaj v priljubljene
    Shranjeno v:
  2. 2
    Slika na naslovnici

    Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings

    Izdano 2023
    Teme: “...proof theory...”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Elektronski Book Chapter

    Dodaj v priljubljene
    Shranjeno v:
  3. 3
    Slika na naslovnici

    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...

    Izdano 2022
    Teme: “...type theory and proof theory...”
    DOAB: download the publication
    DOAB: description of the publication
    Elektronski Book Chapter

    Dodaj v priljubljene
    Shranjeno v:
  4. 4
    Slika na naslovnici

    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...

    Izdano 2022
    Teme: “...type theory and proof theory...”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Elektronski Book Chapter

    Dodaj v priljubljene
    Shranjeno v:
  5. 5
    Slika na naslovnici

    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...

    Izdano 2021
    Teme: “...type theory and proof theory...”
    DOAB: download the publication
    DOAB: description of the publication
    Elektronski Book Chapter

    Dodaj v priljubljene
    Shranjeno v:
  6. 6
    Slika na naslovnici

    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...

    Izdano 2021
    Teme: “...type theory and proof theory...”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Elektronski Book Chapter

    Dodaj v priljubljene
    Shranjeno v:
  7. 7
    Slika na naslovnici

    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...

    Izdano 2020
    Teme: “...type theory and proof theory...”
    DOAB: download the publication
    DOAB: description of the publication
    Elektronski Book Chapter

    Dodaj v priljubljene
    Shranjeno v:
  8. 8
    Slika na naslovnici

    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...

    Izdano 2020
    Teme: “...type theory and proof theory...”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Elektronski Book Chapter

    Dodaj v priljubljene
    Shranjeno v:
  9. 9
    Slika na naslovnici

    Deductive Systems in Traditional and Modern Logic

    Izdano 2020
    Teme: “...meta-proof theory...”
    DOAB: download the publication
    DOAB: description of the publication
    Elektronski Book Chapter

    Dodaj v priljubljene
    Shranjeno v:

Iskalna orodja: