Search Results - Kahle, Reinhard, 1967-

  • Showing 1 - 12 results of 12
Refine Results
  1. 1
    Cover Image

    Limits of AI -- theoretical, practical, ethical / by Mainzer, Klaus, Kahle, Reinhard, 1967-

    Published 2024
    Full Text (via Springer)
    eBook

    Save to List
    Saved in:
  2. 2
    Cover Image

    Limits of AI -- theoretical, practical, ethical / by Mainzer, Klaus, Kahle, Reinhard, 1967-

    Published 2024
    Full Text (via Skillsoft)
    eBook

    Save to List
    Saved in:
  3. 3
    Cover Image

    Intensionality /

    Published 2005
    Other Authors: “…Kahle, Reinhard, 1967-…”
    Book

    Save to List
    Saved in:
  4. 4
    Cover Image

    Intensionality /

    Published 2005
    Other Authors: “…Kahle, Reinhard, 1967-…”
    Full Text (via Taylor & Francis)
    eBook

    Save to List
    Saved in:
  5. 5
    Cover Image

    The legacy of Kurt Schütte

    Published 2020
    Other Authors: “…Kahle, Reinhard, 1967-…”
    Full Text (via Springer)
    Electronic eBook

    Save to List
    Saved in:
  6. 6
    Cover Image

    Gentzen's centenary : the quest for consistency /

    Published 2015
    Other Authors: “…Kahle, Reinhard, 1967-…”
    Full Text (via Springer)
    eBook

    Save to List
    Saved in:
  7. 7
    Cover Image

    Computer science logic 23rd international workshop, CSL 2009, 18th annual conference of the EACSL, Coimbra, Portugal, September 7-11, 2009 : proceedings /

    Published 2009
    Other Authors: “…Kahle, Reinhard, 1967-…”
    Full Text (via Springer)
    Electronic Conference Proceeding eBook

    Save to List
    Saved in:
  8. 8
    Cover Image

    Axiomatic thinking.

    Published 2022
    Other Authors: “…Kahle, Reinhard, 1967-…”
    Full Text (via Springer)
    eBook

    Save to List
    Saved in:
  9. 9
    Cover Image

    Axiomatic thinking.

    Published 2022
    Other Authors: “…Kahle, Reinhard, 1967-…”
    Full Text (via Springer)
    eBook

    Save to List
    Saved in:
  10. 10
    Cover Image

    Advances in proof theory /

    Published 2016
    Other Authors: “…Kahle, Reinhard, 1967-…”
    Full Text (via Springer)
    eBook

    Save to List
    Saved in:
  11. 11
    Cover Image

    Proof theory in computer science : international seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7-12, 2001 : proceedings /

    Published 2001
    Other Authors: “…Kahle, Reinhard, 1967-…”
    Conference Proceeding Book

    Save to List
    Saved in:
  12. 12
    Cover Image

    Proof theory in computer science : international seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7-12, 2001 : proceedings /

    Published 2001
    Other Authors: “…Kahle, Reinhard, 1967-…”
    Full Text (via Springer)
    Conference Proceeding eBook

    Save to List
    Saved in:
Search Tools: RSS Feed – Save Search