5 results
Type of media (2)
Classification (2)
Year
Persons
Publishers
Sort by
Results per page
Filter
5 results

Your search for Olaf Beyersdorff

  1. Cover: Theory and Applications of Satisfiability Testing - SAT 2018 - Springer
    Olaf Beyersdorff | Christoph M. Wintersteiger
    Theory and Applications of Satisfiability Testing - SAT 2018
    21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings
    06/2018
    Springer
    9783319941448 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  2. Cover: Non-classical Aspects in Proof Complexity - Cuvillier Verlag eBooks
    Non-classical Aspects in Proof Complexity
    03/2012
    Cuvillier Verlag eBooks
    9783736940369 (ISBN)
    E-Book
    PDF
    Other editions
    €14.70
    Available for download
  3. Cover: Mathematics For Computation (M4c) - World Scientific Publishing Co Pte Ltd
    Marco Benini | Olaf Beyersdorff | Michael Rathjen
    Mathematics For Computation (M4c)
    04/2023
    World Scientific Publishing Co Pte Ltd
    9789811245213 (ISBN)
    Book
    Hardback
    Other editions
    €137.50
    Shipment within 15-20 days
  4. Cover: Theory and Applications of Satisfiability Testing - SAT 2018 - Springer
    Olaf Beyersdorff | Christoph M. Wintersteiger
    Theory and Applications of Satisfiability Testing - SAT 2018
    21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings
    06/2018
    Springer
    9783319941431 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  5. Cover: Non-classical Aspects in Proof Complexity - Cuvillier Verlag
    Olaf Beyersdorff
    Non-classical Aspects in Proof Complexity
    03/2012
    1st EDN1st Edition
    Cuvillier Verlag
    9783954040360 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €19.95
    Shipment within 15-20 days