Dershowitz, Nachum.
Dershowitz, Nachum, 1951-....
![Sudoc [ABES], France](/viaf/images/flags/SUDOC.png "Sudoc [ABES], France")
Dershowitz, N.
Dershowitz, N. (Nachum)
דרשוביץ, נחום
נחום דרשוביץ נחום דרשוביץ
VIAF ID: 39534044 (Personal)
Permalink: http://viaf.org/viaf/39534044
Preferred Forms
-
200 _ | ‡a Dershowitz ‡b Nachum ‡f 1951-....
-
100 1 _
‡a
Dershowitz, N.
-
100 1 _ ‡a Dershowitz, N. ‡q (Nachum)
-
100 1 _ ‡a Dershowitz, Nachum
-
100 1 _ ‡a Dershowitz, Nachum
-
100 1 _ ‡a Dershowitz, Nachum
-
100 1 _
‡a
Dershowitz, Nachum
-
100 1 _ ‡a Dershowitz, Nachum
-
100 1 _ ‡a Dershowitz, Nachum
-
100 1 _ ‡a Dershowitz, Nachum
-
100 1 _
‡a
Dershowitz, Nachum
-
100 1 _ ‡a Dershowitz, Nachum
-
100 1 _
‡a
Dershowitz, Nachum
‡d
1951-
-
100 1 _
‡a
Dershowitz, Nachum
‡d
1951-
-
100 1 _
‡a
Dershowitz, Nachum
‡d
1951-
-
100 1 _ ‡a Dershowitz, Nachum, ‡d 1951-
-
100 1 _
‡a
Dershowitz, Nachum,
‡d
1951-....
-
100 1 _ ‡a Dershowitz, Nachum.
-
100 1 _ ‡a דרשוביץ, נחום
-
100 0 _
‡a
נחום דרשוביץ
‡c
נחום דרשוביץ
4xx's: Alternate Name Forms (12)
5xx's: Related Names (5)
- 510 2 _
‡a
University of Illinois at Urbana-Champaign
‡b
Department of Computer Science
- 510 2 _
‡a
University of Illinois at Urbana-Champaign
‡b
Department of Computer Science
‡4
affi
‡4
https://d-nb.info/standards/elementset/gnd#affiliation
‡e
Affiliation
- 510 2 _
‡a
University of Illinois, Urbana-Champaign
- 510 2 _
‡a
Universiṭat Tel Aviv
‡4
affi
‡4
https://d-nb.info/standards/elementset/gnd#affiliation
‡e
Affiliation
- 510 2 _
‡a
Ûnîversîṭā (Tēl-Āvîv)
Works
| Title | Sources |
|---|---|
| Advances in Optical Character Recognition for Historical Arabic Documents. |
|
| Avancées en Reconnaissance Optique des Caractères pour les Documents Arabes Historiques |
|
| Calendrical calculations |
|
| Conditional and typed rewriting systems : 4th international workshop CTRS-94, Jerusalem, Israel, July 13-15, 1994 : proceedings |
|
| Conditional and typed rewriting systems / Nachum Dershowitz, Naomi Lindenstrauss (eds.). - Berlin, 1995. |
|
| CTRS-94 |
|
| The cycle lemma and some applications |
|
| Enumerations of ordered trees, 1979: |
|
| evolution of programs |
|
| Exploring the stylistic uniqueness of the priestly source in Genesis and Exodus through a statistical/ computational lens |
|
| Logic for programming, artificial intelligence, and reasoning : 14th international conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007 : proceedings |
|
| LPAR 2007 |
|
| A note on simplification orderings |
|
| Ordered trees and non-crossing partitions |
|
| Problems in rewriting III |
|
| Programming by analogy |
|
| Proofs by implicit induction : case of associative-commutative and observational theories. |
|
| Rewrite systems |
|
| Rewriting techniques and applications : 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989 : proceedings |
|
| RTA-89 |
|
| The Schorr-Waite marking algorithm revisited |
|
| Termination of rewriting |
|
| Verification theory and practice ; essays dedicated to Zohar Manna on the occasion of his 64th birthday |
|
| Календарные расчёты |
|
