Nachum Dershowitz

24 featured booksNachum Dershowitz

Bookitis has not yet captured a biography for this author, but the catalog links below show the books currently associated with this profile.

Search this author Open first work

OL543170A

Overview

Catalog identity and bibliographic footprint for this author.

24 representative editions

Author pages in Bookitis are intended to show only works actually attributed to the author and a representative edition for each of those works.

Catalog identity

How this author appears inside the active Bookitis catalog.

Display name
Nachum Dershowitz
Personal name
Nachum Dershowitz
Source identifier
OL543170A

Featured books

Representative editions for works actually authored by this person.

CC
Image source: Open Library
Calendrical calculations
Calendrical Calculations | 2018
Representative edition for this work grouping in the active catalog.
cover
FO
Image source: Open Library
Fields of Logic and Computation II
Fields of Logic and Computation II | 2015
Representative edition for this work grouping in the active catalog.
cover
LC
Image source: Open Library
Language, Culture, Computation : Computational Linguistics and Linguistics
Language, Culture, Computation : Computational Linguistics and Linguistics | 2014
Representative edition for this work grouping in the active catalog.
cover
FO
Image source: Open Library
Fields of logic and computation
Fields of logic and computation | 2010
Representative edition for this work grouping in the active catalog.
cover
PO
Image source: Open Library
Pillars of computer science
Pillars of computer science | 2008
Representative edition for this work grouping in the active catalog.
cover
CC
Image source: Open Library
Calendrical Calculations
Calendrical Calculations | 2007
Representative edition for this work grouping in the active catalog.
cover
V
Image source: Open Library
Verification
Verification | 2004
Representative edition for this work grouping in the active catalog.
cover
LF
Image source: Open Library
Logic for programming artificial intelligence and reasoning
Logic for Programming, Artificial Intelligence, and Reasoning | 2003
Representative edition for this work grouping in the active catalog.
cover
CC
Image source: Open Library
Calendrical Calculations
Calendrical Calculations | 2001
Representative edition for this work grouping in the active catalog.
cover
CA
Image source: Open Library
Conditional and typed rewriting systems
Conditional and typed rewriting systems | 1995
Representative edition for this work grouping in the active catalog.
cover
RT
Image source: Open Library
Rewriting Techniques and Applications
Rewriting Techniques and Applications | 1989
Representative edition for this work grouping in the active catalog.
cover
EO
Image source: Open Library
Evolution of Programmes (Progress in Computer Science)
Evolution of Programmes (Progress in Computer Science) | 1984
Representative edition for this work grouping in the active catalog.
cover
TE
Image source: Open Library
The evolution of programs
The evolution of programs | 1983
Representative edition for this work grouping in the active catalog.
cover
OF
Image source: Open Library
Orderings for term-rewriting systems
Orderings for term-rewriting systems | 1979
Representative edition for this work grouping in the active catalog.
cover
EO
Image source: Open Library
Enumerations of ordered trees
Enumerations of ordered trees | 1979
Representative edition for this work grouping in the active catalog.
cover
AN
Image source: Open Library
A note on simplification orderings
A note on simplification orderings | 1979
Representative edition for this work grouping in the active catalog.
cover
TS
Image source: Open Library
The Schorr-Waite marking algorithm revisited
The Schorr-Waite marking algorithm revisited | 1979
Representative edition for this work grouping in the active catalog.
cover
Fields of Logic and Computation...Nachum Dershowitz
FO
Fields of Logic and Computation III
Fields of Logic and Computation III | 2020
Representative edition for this work grouping in the active catalog.
no cover
Language, Culture, Computation...Nachum Dershowitz
LC
Language, Culture, Computation : Computing for the Humanities, Law, and Narratives
Language, Culture, Computation : Computing for the Humanities, Law, and Narratives | 2015
Representative edition for this work grouping in the active catalog.
no cover
Verification : Theory and PracticeNachum Dershowitz
V:
Verification : Theory and Practice
Verification : Theory and Practice | 2014
Representative edition for this work grouping in the active catalog.
no cover
Language, Culture, Computation...Nachum Dershowitz
LC
Language, Culture, Computation : Computing - Theory and Technology
Language, Culture, Computation : Computing - Theory and Technology | 2014
Representative edition for this work grouping in the active catalog.
no cover
Fields of Logic and ComputationNachum Dershowitz
FO
Fields of Logic and Computation
Fields of Logic and Computation | 2010
Representative edition for this work grouping in the active catalog.
no cover
VerificationNachum Dershowitz
V
Verification
Verification | 2004
Representative edition for this work grouping in the active catalog.
no cover
Equational programmingNachum Dershowitz
EP
Equational programming
Equational programming | 1986
Representative edition for this work grouping in the active catalog.
no cover

Works in catalog

Quick navigation into the work-level grouping pages behind the featured books.