7 results
Type of media (3)
Availability (3)
Classification (3)
Year
Persons
Publishers
Sort by
Results per page
Filter
7 results

Your search for Christoph Weidenbach

  1. Cover: Programming Logics - Springer
    Andrei Voronkov | Christoph Weidenbach
    Programming Logics
    Essays in Memory of Harald Ganzinger
    04/2013
    Springer
    9783642376511 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  2. Cover: Automated Reasoning - Springer
    Stéphane Demri | Deepak Kapur | Christoph Weidenbach
    Automated Reasoning
    7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings
    07/2014
    Springer
    9783319085876 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  3. Cover: Programming Logics - Springer
    Andrei Voronkov | Christoph Weidenbach
    Programming Logics
    Essays in Memory of Harald Ganzinger
    04/2013
    Springer
    9783642376504 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  4. This image is currently not available.
    Christoph Weidenbach
    Solution's Manual - Automation of Logic
    approx. 06/2017
    1st EDN1st Edition
    Chapman and Hall/CRC
    9781439875377 (ISBN)
    Other
    Undefined
    Unfortunately, price unknown
    Not yet published
    Not available
  5. Cover: Frontiers of Combining Systems - Springer
    René Thiemann | Christoph Weidenbach
    Frontiers of Combining Systems
    15th International Symposium, FroCoS 2025, Reykjavik, Iceland, September 29 - October 1, 2025, Proceedings
    09/2025
    Springer
    9783032041661 (ISBN)
    Book
    Paperback/Softback
    €42.79
    Shipment within 15-20 days
  6. This image is currently not available.
    Christoph Weidenbach
    Automation of Logic
    01/2026
    1st EDN1st Edition
    Chapman & Hall/CRC
    9781439875353 (ISBN)
    Book
    Hardback
    €86.65
    The article will not be published
  7. Cover: Automated Reasoning - Springer
    Stéphane Demri | Deepak Kapur | Christoph Weidenbach
    Automated Reasoning
    7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings
    08/2014
    Springer
    9783319085869 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days