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 - 2 of 2 results for “andrei popescu”
Skip side bar filters

  • Frontiers of Combining Systems

    12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings

    Edited by Andreas Herzig, Andrei Popescu ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 12th International Symposium on Frontiers of Combining Systems, FroCoS 2019, held in London, UK, in September 2019, colocated with the 28th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2019.The 20 papers presented were carefully reviewed and selected from 30 submissions. They present research on ... Read more

    $62.99 USD

  • Automated Reasoning with Analytic Tableaux and Related Methods

    28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings

    Edited by Serenella Cerrito, Andrei Popescu ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 28th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2019, held in London, UK, in September 2019, colocated with the 12th International Symposium on Frontiers on Combining Systems, FroCoS 2019.The 25 full papers presented were carefully reviewed and selected from 43 submissions.They present research ... Read more

    $49.49 USD