Nachum Dershowitz – författare

Calendrical Tabulations, 1900-2200

Calendrical Calculations

The Ultimate Edition

Calendrical Calculations

The Ultimate Edition

Fields of Logic and Computation III

Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday

Fields of Logic and Computation II

Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday

Verification: Theory and Practice

Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday

Rewriting Techniques and Applications

3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989, Proceedings

Conditional and Typed Rewriting Systems

4th International Workshop, CTRS-94, Jerusalem, Israel, July 13 - 15, 1994. Proceedings

Logic for Programming, Artificial Intelligence, and Reasoning

14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings

Pillars of Computer Science

Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday

Unconventional Computation

8th International Conference, UC 2009, Ponta Delgada, Portugal, September 7-11, 2009, Proceedings

Fields of Logic and Computation

Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday

Language, Culture, Computation: Computing - Theory and Technology

Essays Dedicated to Yaacov Choueka on the Occasion of His 75 Birthday, Part I

Language, Culture, Computation: Computing for the Humanities, Law, and Narratives

Essays Dedicated to Yaacov Choueka on the Occasion of His 75 Birthday, Part II