Go back
Automated Reasoning With Analytic Tableaux And Related Methods 2 International Conference Tableaux 2015 Wroclaw Poland September 21 24 2015(1st Edition)
Authors:
Hans De Nivelle
Cover Type:Hardcover
Condition:Used
In Stock
Shipment time
Expected shipping within 2 DaysPopular items with books
Access to 30 Million+ solutions
Free ✝
Ask 50 Questions from expert
AI-Powered Answers
✝ 7 days-trial
Total Price:
$0
List Price: $53.07
Savings: $53.07(100%)