Your search returned 4 results.

Not what you expected? Check for suggestions

Results
	1.	Automated Deduction-CADE-18 18th International Conference on Automated Deduction Copenhagen, Denmark, July 27-30, 2002 Proceedings / edited by Andrei Voronkov. by Voronkov, Andrei 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.	Logic Programming and Automated Reasoning International Conference LPAR '92 St. Petersburg, Russia, July 15-20, 1992 Proceedings / edited by Andrei Voronkov. by Voronkov, Andrei 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.	Logic Programming and Automated Reasoning 4th International Conference, LPAR'93 St. Petersburg, Russia, July 13-20, 1993 Proceedings / edited by Andrei Voronkov. by Voronkov, Andrei 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).
	4.	Rewriting Techniques and Applications 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings / edited by Andrei Voronkov. by Voronkov, Andrei 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).

© International Center for Chemical and Biological Sciences (ICCBS) Libraries, 2011. All rights reserved.