Nachum Dershowitz
Nachum Dershowitz
8 books in the database
Books
Language, Culture, Computation : Computational Linguistics and LinguisticsNachum Dershowitz
Language, Culture, Computation : Computational Linguistics and Linguistics
Nachum Dershowitz · 2014
Calendrical calculationsNachum Dershowitz
Calendrical calculations
Nachum Dershowitz · 1997
Language, Culture, Computation : Computing - Theory and TechnologyNachum Dershowitz
Language, Culture, Computation : Computing - Theory and Technology
Nachum Dershowitz · 2014
Language, Culture, Computation : Computing for the Humanities, Law, and NarrativesNachum Dershowitz
Language, Culture, Computation : Computing for the Humanities, Law, and Narratives
Nachum Dershowitz · 2014
VerificationNachum Dershowitz
Verification
Nachum Dershowitz · 2004
Rewriting Techniques and ApplicationsNachum Dershowitz
Rewriting Techniques and Applications
Nachum Dershowitz · 1989
Verification : Theory and PracticeNachum Dershowitz
Verification : Theory and Practice
Nachum Dershowitz · 2004
Evolution of Programmes (Progress in Computer Science)Nachum Dershowitz
Evolution of Programmes (Progress in Computer Science)
Nachum Dershowitz · 1984
Co-authored books and collections
Books that list Nachum Dershowitz among their authors but not as the lead author: co-written works, collections and compilations.
Fields of Logic and Computation IILev D. Beklemishev
Fields of Logic and Computation II
Lev D. Beklemishev · 2015
Fields of logic and computationYuri Gurevich
Fields of logic and computation
Yuri Gurevich · 2010
Pillars of computer scienceB. A. Trakhtenbrot
Pillars of computer science
B. A. Trakhtenbrot · 2008
Calendrical CalculationsEdward M. Reingold
Calendrical Calculations
Edward M. Reingold · 2007
Calendrical CalculationsEdward M. Reingold
Calendrical Calculations
Edward M. Reingold · 2001
Conditional and typed rewriting systemsInternational Workshop on Conditional (and Typed) Rewriting Systems (4th 1994 Jerusalem)
Conditional and typed rewriting systems
International Workshop on Conditional (and Typed) Rewriting Systems (4th 1994 Jerusalem) · 1995
Fields of Logic and Computation IIIAndreas Blass
Fields of Logic and Computation III
Andreas Blass · 2020
Fields of Logic and ComputationAndreas Blass
Fields of Logic and Computation
Andreas Blass · 2010