Skip to main content
Search Button
Canada 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 “armin biere”
Skip side bar filters

  • Automated Reasoning

    13th International Joint Conference, IJCAR 2026, Lisbon, Portugal, July 26–29, 2026, Proceedings, Part I

    Edited by Armin Biere, Carsten Lutz, Sara Negri ...
    Series Book 1 - Springer Nature Proceedings Computer Science
    This open access set, LNAI 16688-16689, constitutes the proceedings of the 13th International Joint Conference, IJCAR 2026, held in Lisbon, Portugal, during July 26–29, 2026.The 41 full research papers and 8 short papers included in these two volumes were carefully reviewed and selected from 112 submissions. The papers cover the following topical sections:Part I: Theorem Proving and Automation; ... Read more

    Free

  • Automated Reasoning

    13th International Joint Conference, IJCAR 2026, Lisbon, Portugal, July 26–29, 2026, Proceedings, Part II

    Edited by Armin Biere, Carsten Lutz, Sara Negri ...
    Series Book 2 - Springer Nature Proceedings Computer Science
    This open access set, LNAI 16688-16689, constitutes the proceedings of the 13th International Joint Conference, IJCAR 2026, held in Lisbon, Portugal, during July 26–29, 2026.The 41 full research papers and 8 short papers included in these two volumes were carefully reviewed and selected from 112 submissions. The papers cover the following topical sections:Part I: Theorem Proving and Automation; ... Read more

    Free