viorica sofronie stokkermans author - Books - 24x7 online bookstore Bookswagon.ae
Logo1
Login & Sign up
AddBanner
Home icon Home
Account Icon Account
Wishlist Icon Wishlist
Cart Icon Cart
humburger icon Categories
Close

Refine your Search

Availability

Shipping Time

Source

Binding

Language

Publication Year

Filter By Category
5 results found
List viewGrid view
Sort By:
1.
Automated Reasoning
Automated Reasoning
By: Viorica Sofronie-Stokkermans, Nicolas Peltier
Publisher: Springer Nature Switzerland AG
No Review Yet
AED405
Binding:
Paperback
Release:
30 Jun 2020
Language:
English
Available
Ships within 14-16 Days Explain..
2.
Automated Reasoning
Automated Reasoning
By: Viorica Sofronie-Stokkermans, Nicolas Peltier
Publisher: Springer Nature Switzerland AG
No Review Yet
AED375
Binding:
Paperback
Release:
30 Jun 2020
Language:
English
Available
Ships within 14-16 Days Explain..
3.
Frontiers of Combining Systems
Frontiers of Combining Systems
By: Viorica Sofronie-Stokkermans, Cesare Tinelli
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
AED291
Binding:
Paperback
Release:
23 Sep 2011
Language:
English
International Edition
Ships within 18-20 Days Explain..
4.
Automated Deduction -- CADE-23
Automated Deduction -- CADE-23
By: Viorica Sofronie-Stokkermans, Nikolaj Bjørner
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
AED283
Binding:
Paperback
Release:
12 Jul 2011
Language:
English
International Edition
Ships within 18-20 Days Explain..
5.
Automated Deduction -- Cade-23
Automated Deduction -- Cade-23
By: Viorica Sofronie-Stokkermans, Nikolaj Bj Rner
Publisher: Springer
No Review Yet
AED105
Binding:
Paperback
Release:
02 Aug 2011
Out of Stock
Notify me when this book is in stockNotify Me
No more records found