Automated Reasoning with Analytic Tableaux and Related Methods: 32nd Internation
51,69 €
The 20 full papers and 5 short papers included in this book together with 5 abstracts of invited talks were carefully reviewed and selected from 43 submissions. Range-Restricted and Horn Interpolation through Clausal Tableaux.
Jetzt bei Ebay:
