The following pages link to Nachum Dershowitz
External toolsShowing 50 items.
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)- Calendar (links | edit)
- Calendar date (links | edit)
- Hebrew calendar (links | edit)
- June (links | edit)
- Lunisolar calendar (links | edit)
- New moon (links | edit)
- Roger Penrose (links | edit)
- 4th millennium BC (links | edit)
- Julian day (links | edit)
- Epoch (links | edit)
- Planner (programming language) (links | edit)
- Unification (computer science) (links | edit)
- Disjunctive normal form (links | edit)
- Chinese units of measurement (links | edit)
- Date of Easter (links | edit)
- Identity (mathematics) (links | edit)
- Rewriting (links | edit)
- Weizmann Institute of Science (links | edit)
- New Calendarists (links | edit)
- Zohar Manna (links | edit)
- Orchestrated objective reduction (links | edit)
- Martin Davis (mathematician) (links | edit)
- Before Present (links | edit)
- Henk Barendregt (links | edit)
- Anno Mundi (links | edit)
- Tamil calendar (links | edit)
- Semi-Thue system (links | edit)
- Steinhaus–Johnson–Trotter algorithm (links | edit)
- Herbrand Award (links | edit)
- Decimal time (links | edit)
- Dershowitz (links | edit)
- Holocene calendar (links | edit)
- Symposium on Logic in Computer Science (links | edit)
- Open Source Judaism (links | edit)
- Handbook of Automated Reasoning (links | edit)
- Edward Reingold (links | edit)
- Calendrical calculation (links | edit)
- Rata Die (links | edit)
- History of the Church–Turing thesis (links | edit)
- List of people by Erdős number (links | edit)
- Feferman–Schütte ordinal (links | edit)
- Epoch (computing) (links | edit)
- Zecharia Dershowitz (links | edit)
- Gregorian calendar (links | edit)
- Abstract rewriting system (links | edit)
- Time in North Korea (links | edit)
- Jan Willem Klop (links | edit)
- Nahum (disambiguation) (links | edit)
- Dershowitz–Manna ordering (links | edit)
- Rewrite order (links | edit)