Deakin University / All Locations

Add Marked to Bag Add All On Page Add Marked to My Lists
Subjects (1-2 of 2)
Logic machines -- Congresses
1 2009 Automated deduction - CADE-22 : 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009 ; proceedings International Conference on Automated Deduction (22nd : 2009 : Montreal, Québec) Rating: Electronic Resources More...
2 2008 Tenth Scandinavian Conference on Artificial Intelligence : SCAI 2008 Scandinavian Conference on Artificial Intelligence (10th : 2008 : Stockholm City, Sweden) Rating: Electronic Resources
Add Marked to Bag Add All On Page Locate in results

Automated deduction - CADE-22 : 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009 ; proceedings