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

Your search for Renate A. Schmidt

  1. Cover: Automated Reasoning with Analytic Tableaux and Related Methods - Springer
    Renate A. Schmidt | Cláudia Nalon
    Automated Reasoning with Analytic Tableaux and Related Methods
    26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25-28, 2017, Proceedings
    09/2017
    Springer
    9783319669021 (ISBN)
    E-Book
    PDF
    Other editions
    €69.54
    Available for download
  2. Cover: Automated Reasoning with Analytic Tableaux and Related Methods - Springer
    Renate A. Schmidt | Cláudia Nalon
    Automated Reasoning with Analytic Tableaux and Related Methods
    26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25-28, 2017, Proceedings
    08/2017
    Springer
    9783319669014 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €69.54
    Shipment within 10-15 days
  3. Cover: Automated Reasoning - Springer
    Christoph Benzmüller | Marijn J.H. Heule | Renate A. Schmidt
    Automated Reasoning
    12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II
    07/2024
    Springer
    9783031635007 (ISBN)
    Book
    Paperback/Softback
    €79.17
    Shipment within 15-20 days
  4. Cover: Automated Reasoning - Springer
    Christoph Benzmüller | Marijn J.H. Heule | Renate A. Schmidt
    Automated Reasoning
    12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part I
    07/2024
    Springer
    9783031634970 (ISBN)
    Book
    Paperback/Softback
    €42.79
    Shipment within 15-20 days
  5. Cover: Second-order Quantifier Elimination - College Publications
    Dov Gabbay | Renate A. Schmidt | Andrzej Szalas
    Second-order Quantifier Elimination
    Foundations, Computational Aspects and Applications
    04/2008
    College Publications
    9781904987567 (ISBN)
    Book
    Paperback/Softback
    €37.60
    Shipment within 10-20 days