Your search returned 22 results.

Not what you expected? Check for suggestions

Results
	21.	Research and Advanced Technology for Digital Libraries Second European Conference, ECDL’98 Heraklion, Crete, Greece September 21-23, 1998 Proceedings / edited by Gerhard Goos, Juris Hartmanis, Jan Leeuwen. by Goos, Gerhard Material type: Text; Format: print ; Literary form: Not fiction Online access: Click her to access the e-Book Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).
	22.	Theorem Proving in Higher Order Logics 9th International Conference, TPHOLs’96 Turku, Finland, August 26-30, 1996 Proceedings / edited by Gerhard Goos, Juris Hartmanis, Jan Leeuwen, Joakim Wright, Jim Grundy, John Harrison. by Goos, Gerhard Material type: Text; Format: print ; Literary form: Not fiction Online access: Click her to access the e-Book Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

WELCOME TO THE ICCBS LIBRARIES CATALOG