Clicky

Automated Deduction - CADE 29 by Brigitte Pientka and similar books you'll love - Bookscovery

Home > Authors > Brigitte Pientka > Automated Deduction - CADE 29

Buy at: Bookshop.org Amazon

Automated Deduction - CADE 29

Brigitte Pientka, Cesare Tinelli

Recent activity

Rate this book to see your activity here.

4 Books Similar to Automated Deduction - CADE 29 by Brigitte Pientka

Bookscovery readers who liked Automated Deduction - CADE 29 also like Description Logic, Theory Combination, and All That, Frontiers of Combining Systems and Frontiers Of Combining Systems 8th International Symposium Frocos 2011 Saarbrucken Germany October 57 2011. How many of these have you read?

Description Logic, Theory Combination, and All That by Carsten Lutz

Cover of Description Logic, Theory Combination, and All That
Buy this book at:
Bookshop.org Amazon

Frontiers of Combining Systems by Cesare Tinelli

Cover of Frontiers of Combining Systems
Buy this book at:
Bookshop.org Amazon

Frontiers Of Combining Systems 8th International Symposium Frocos 2011 Saarbrucken Germany October 57 2011 by Cesare Tinelli

Cover of Frontiers Of Combining Systems 8th International Symposium Frocos 2011 Saarbrucken Germany October 57 2011
Buy this book at:
Bookshop.org Amazon

Tools and Algorithms for the Construction and Analysis of Systems by Christel Baier

Cover of Tools and Algorithms for the Construction and Analysis of Systems
Buy this book at:
Bookshop.org Amazon

Comments and reviews of Automated Deduction - CADE 29

Please sign in to leave a comment