Your search returned 4 results.

Not what you expected? Check for suggestions

Results
	1.	Verification: Theory and Practice Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday / edited by Nachum Dershowitz. by Dershowitz, Nachum 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.	Conditional and Typed Rewriting Systems 4th International Workshop, CTRS-94 Jerusalem, Israel, July 13-15, 1994 Proceedings / edited by Nachum Dershowitz, Naomi Lindenstrauss. by Dershowitz, Nachum 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.	Rewriting Techniques and Applications 3rd International Conference, RTA-89 Chapel Hill, North Carolina, USA April 3-5, 1989 Proceedings / edited by Nachum Dershowitz. by Dershowitz, Nachum 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.	Logic for Programming, Artificial Intelligence, and Reasoning 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings / edited by Nachum Dershowitz, Andrei Voronkov. by Dershowitz, Nachum 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.