Your search returned 3 results.

Not what you expected? Check for suggestions

Results
	1.	Automated Reasoning with Analytic Tableaux and Related Methods International Conference, TABLEAUX 2000, St Andrews, Scotland, UK, July 3-7, 2000 Proceedings / edited by Roy Dyckhoff. by Dyckhoff, Roy 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).
	2.	Extensions of Logic Programming 4th International Workshop, ELP '93 St Andrews, U.K., March 29-April 1, 1993 Proceedings / edited by Roy Dyckhoff. by Dyckhoff, Roy 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).
	3.	Extensions of Logic Programming 5th International Workshop, ELP '96 Leipzig, Germany, March 28-30, 1996 Proceedings / edited by Roy Dyckhoff, Heinrich Herre, Peter Schroeder-Heister. by Dyckhoff, Roy 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