Nachum Dershowitz's Documents

Nachum Dershowitz's Documents

Rewriting Techniques and Applications, 3 conf., RTA-89

Rewriting Techniques and Applications, 3 conf., RTA-89
Read more
Logic for Programming, Artificial Intelligence, and Reasoning, 14 conf., LPAR 2007

Logic for Programming, Artificial Intelligence, and Reasoning, 14 conf., LPAR 2007
Read more
Conditional and Typed Rewriting Systems: 4th International Workshop, CTRS-94, Jerusalem, Israel, July 13 - 15, 1994. Proceedings

Conditional and Typed Rewriting Systems: 4th International Workshop, CTRS-94, Jerusalem, Israel, July 13 - 15, 1994. Proceedings
Read more
Calendrical Calculations

Calendrical Calculations
Read more
Calendrical Calculations

Calendrical Calculations
Read more
Pillars of Computer Science: Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday

Pillars of Computer Science: Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday
Read more
Pillars of Computer Science

Pillars of Computer Science
Read more
The Case Against Israel's Enemies: Exposing Jimmy Carter and Others Who Stand in the Way of Peace

The Case Against Israel's Enemies: Exposing Jimmy Carter and Others Who Stand in the Way of Peace
Read more
The Case for Israel

The Case for Israel
Read more
11 (Inalienable Rights)

11 (Inalienable Rights)
Read more
The Advocate's Devil

The Advocate's Devil
Read more
Supreme Injustice

Supreme Injustice
Read more
Supreme Injustice

Supreme Injustice
Read more
Just Revenge

Just Revenge
Read more
Unconventional Computation: 8th International Conference, UC 2009, Ponta Delgada, Portugal, September 7-11, 2009, Proceedings (Lecture Notes in ... Computer Science and General Issues)

Unconventional Computation: 8th International Conference, UC 2009, Ponta Delgada, Portugal, September 7-11, 2009, Proceedings (Lecture Notes in ... Computer Science and General Issues)
Read more