N

Nachum Dershowitz

25 books found

Books by Nachum Dershowitz
Calendrical calculationsNachum Dershowitz
⏱ 8h 32m

Calendrical calculations

Nachum Dershowitz

1997512 pp.
Calendrical CalculationsEdward M. Reingold
⏱ 8h 32m

Calendrical Calculations

Edward M. Reingold

2007512 pp.
The evolution of programsNachum Dershowitz
⏱ 2h 16m

The evolution of programs

Nachum Dershowitz

1980136 pp.
Enumerations of ordered treesNachum Dershowitz
⏱ 33m

Enumerations of ordered trees

Nachum Dershowitz

197933 pp.
A note on simplification orderingsNachum Dershowitz

A note on simplification orderings

Nachum Dershowitz

1979No page data
The Schorr-Waite marking algorithm revisitedNachum Dershowitz

The Schorr-Waite marking algorithm revisited

Nachum Dershowitz

1979No page data
Verification : Theory and PracticeNachum Dershowitz
⏱ 13h 24m

Verification : Theory and Practice

Nachum Dershowitz

2004804 pp.
Orderings for term-rewriting systemsNachum Dershowitz
⏱ 30m

Orderings for term-rewriting systems

Nachum Dershowitz

197930 pp.
Equational programmingNachum Dershowitz
⏱ 54m

Equational programming

Nachum Dershowitz

198654 pp.
Rewriting Techniques and ApplicationsNachum Dershowitz
⏱ 9h 39m

Rewriting Techniques and Applications

Nachum Dershowitz

1989579 pp.
Termination of rewritingNachum Dershowitz
⏱ 58m

Termination of rewriting

Nachum Dershowitz

198558 pp.
VerificationNachum Dershowitz
⏱ 13h 3m

Verification

Nachum Dershowitz

2004783 pp.
Evolution of Programmes (Progress in Computer Science)Nachum Dershowitz
⏱ 5h 57m

Evolution of Programmes (Progress in Computer Science)

Nachum Dershowitz

1984357 pp.
VerificationNachum Dershowitz
⏱ 13h 2m

Verification

Nachum Dershowitz

2004782 pp.
Language, Culture, Computation : Computing for the Humanities, Law, and NarrativesNachum Dershowitz
⏱ 12h 40m

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

Nachum Dershowitz

2014760 pp.
Language, Culture, Computation : Computational Linguistics and LinguisticsNachum Dershowitz
⏱ 14h 45m

Language, Culture, Computation : Computational Linguistics and Linguistics

Nachum Dershowitz

2014885 pp.
Language, Culture, Computation : Computing - Theory and TechnologyNachum Dershowitz
⏱ 10h 4m

Language, Culture, Computation : Computing - Theory and Technology

Nachum Dershowitz

2014604 pp.
Calendrical CalculationsEdward M. Reingold
⏱ 7h 3m

Calendrical Calculations

Edward M. Reingold

2001423 pp.
Fields of logic and computationYuri Gurevich
⏱ 10h 26m

Fields of logic and computation

Yuri Gurevich

2010626 pp.
Fields of Logic and ComputationAndreas Blass

Fields of Logic and Computation

Andreas Blass

2010No page data