Deakin University / All Locations

Add Marked to Bag Add All On Page Add Marked to My Lists
Authors (Last name first) (1-3 of 3)
Seger, Carl-Johan H.
1 1994 Higher order logic theorem proving and its applications : 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993 : proceedings Berlin ; New York : Springer-Verlag, ©1994 Rating: Electronic Resources
Seger, Joe D.,
2 2014 Gezer VI : the objects from Phases I and II (1964-1974) Gilmour, Garth Hugh, author. Winona Lake, Indiana : Eisenbrauns, 2014 Rating: Electronic Resources More...
3 2013 Gezer VII : the middle Bronze and later fortifications in fields II, IV, and VIII Seger, Joe D., author, editor Rating: Electronic Resources More...
Add Marked to Bag Add All On Page Locate in results

Higher order logic theorem proving and its applications : 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993 : proceedings