AUTOMATED REASONING: 4TH INTERNATIONAL JOINT CONFERENCE, IJCAR 2008, SYDNEY, AUSTRALIA, AUGUST 12-15, 2008, PROCEEDINGS
SPRINGER
₹ 9,231.00
₹ 10,898.91
✻