
Automated Reasoning
Viorica Sofronie-Stokkermans Nicolas Peltier
₹3,605

From Nature to Models: 85
Routledge · 2007
Free delivery. Nothing extra to pay at checkout.
Available Offers
The publisher hasn't supplied a description for this edition. The details alongside are from the publisher's record.