Deakin University / All Locations

Add Marked to Bag Add All On Page Add Marked to My Lists
Authors (Last name first) (1-2 of 2)
Giesl, Jürgen.
1 2010 Automated reasoning : 5th international joint conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010 : proceedings IJCAR (Conference) (5th : 2010 : Edinburgh, Scotland) Rating: Electronic Resources More...
2 2005 Term rewriting and applications : 16th international conference, RTA 2005, Nara, Japan, April 19-21, 2005 : proceedings International Conference on Rewriting Techniques and Applications (16th : 2005 : Nara-ken, Japan) Rating: Electronic Resources More...
Add Marked to Bag Add All On Page Locate in results

Automated reasoning : 5th international joint conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010 : proceedings