Skip to main content
Search Button
United States Kobo store Gift Cards Help

Rakuten Kobo

Wishlist

Shopping Cart

You're getting the VIP treatment!

Item(s) unavailable for purchase
Please review your cart. You can remove the unavailable item(s) now or we'll automatically remove it at Checkout.
itemsitem
itemsitem

Recommended For You

Loading...


Showing 1 - 4 of 4 results for “renate schmidt3”
Skip side bar filters

  • Automated Reasoning with Analytic Tableaux and Related Methods

    26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25–28, 2017, Proceedings

    Edited by Cláudia Nalon, Renate A. Schmidt ...
    Series series Springer Nature Proceedings Computer Science
    This book contains the proceedings of the 26th International Conference on Automated Reasoning with Analytics Tableaux and Related Methods, TABLEAUX 2017, held in Brasília, Bazil, in September 2017.The 19 contributed papers presented in this volume were carefully reviewed and selected from 27 submissions.They are organized in topical sections named: Sequent systems; tableaux; transitive closure ... Read more

    $62.99 USD

  • Genetics and Genomics of the Brassicaceae

    Edited by Renate Schmidt, Ian Bancroft ...
    Series series Biomedical and Life Sciences (R0)
    The Genetics and Genomics of the Brassicaceae provides a review of this important family (commonly termed the mustard family, or Cruciferae). The family contains several cultivated species, including radish, rocket, watercress, wasabi and horseradish, in addition to the vegetable and oil crops of the Brassica genus. There are numerous further species with great potential for exploitation in 21st ... Read more

    $188.09 USD

  • Automated Reasoning

    12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part I

    Edited by Christoph Benzmüller, Marijn J.H. Heule, Renate A. Schmidt ...
    Series Book 1 - Springer Nature Proceedings Computer Science
    This two-volume set of LNAI 14739-14740 constitute the proceedings of the 12th International Joint Conference on Automated Reasoning, IJCAR 2024, held in Nancy, France, during July 3-6, 2024.The 39 full research papers and 6 short papers presented in this book were carefully reviewed and selected from 115 submissions.The papers focus on the following topics: theorem proving and tools; SAT, SMT and ... Read more

    Free

  • Automated Reasoning

    12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part II

    Edited by Christoph Benzmüller, Marijn J.H. Heule, Renate A. Schmidt ...
    Series Book 2 - Springer Nature Proceedings Computer Science
    Infotext (nur auf Basis des Vorgängers):This two-volume set of LNAI 14739-14740 constitute the proceedings of the 12th International Joint Conference on Automated Reasoning, IJCAR 2024, held in Nancy, France, during July 3-6, 2024.The 39 full research papers and 6 short papers presented in this book were carefully reviewed and selected from 115 submissions.The papers focus on the following topics: ... Read more

    Free