Buy books written by Cesare Tinelli Available at Bookswagon
BooksWagon Icon
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
Cesare Tinelli

Cesare Tinelli

3 results found
List viewGrid view
Sort By:
1.
Automated Deduction - Cade 29
Automated Deduction - Cade 29
By: Cesare Tinelli, Brigitte Pientka
Publisher: Springer Nature Switzerland
No Review Yet
AED474
Binding:
Paperback
Release:
03 Sep 2023
Language:
English
International Edition
Ships within 26-28 Days Explain..
Free Shipping in UAE.
2.
Description Logic, Theory Combination, and All That
Description Logic, Theory Combination, and All That
By: Tinelli Cesare Tinelli, Sattler Uli Sattler, Lutz Carsten Lutz
Publisher: Springer Nature B.V.
No Review Yet
AED481
Binding:
Paperback
Release:
05 Jun 2019
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
3.
Tools and Algorithms for the Construction and Analysis of Systems
Tools and Algorithms for the Construction and Analysis of Systems
By: Baier Christel Baier, Tinelli Cesare Tinelli
Publisher: Springer Nature B.V.
No Review Yet
AED481
Binding:
Paperback
Release:
03 Apr 2015
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
No more records found