Automated Reasoning with Analytic Tableaux and Related Methods
Springer International Publishing AG Automated Reasoning with Ana...more
Buy at ₹7,955
Apply offers for maximum savings
Apply offers for maximum savings!
Product highlights
Title
Automated Reasoning with Analytic Tableaux and Related Methods
Imprint
Springer International Publishing AG
Product Form
Paperback
Publisher
Springer International Publishing AG
Source ISBN
9783319669014
Genre
Computers
ISBN13
9783319669014
Book Category
Higher Education and Professional Books
Hang on, loading content