کتاب های Nachum Dershowitz
Logic for Programming, Artificial Intelligence, and Reasoning: 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings
Johann A. Makowsky (auth.), Nachum Dershowitz, Andrei Voronkov (eds.), 2007
Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday
Nachum Dershowitz, Georg Moser (auth.), Hubert Comon-Lundh, Claude Kirchner, Hélène Kirchner (eds.), 2007
Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday
Nachum Dershowitz, Georg Moser (auth.), Hubert Comon-Lundh, Claude Kirchner, Hélène Kirchner (eds.), 2007
Ancient Indian Leaps into Mathematics
Nachum Dershowitz, 2011
Ancient Indian Leaps into Mathematics
Nachum Dershowitz, 2011
Ancient Indian Leaps into Mathematics
Nachum Dershowitz, 2011
Calendrical Calculations
Nachum Dershowitz, 2007
Calendrical Calculations
Nachum Dershowitz, 2007
Logic Programming: 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004. Proceedings
Nachum Dershowitz (auth.), 2004
Logic Programming: 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004. Proceedings
Nachum Dershowitz (auth.), 2004
The Evolution of Programs
Nachum Dershowitz (auth.), 1983
Verification: Theory and Practice: Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday
Nachum Dershowitz (auth.), 2004
Verification: Theory and Practice: Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday
Nachum Dershowitz (auth.), 2004
Calendrical Calculations: The Ultimate Edition
Edward M. Reingold, Nachum Dershowitz, 2018
