7 treff

Calendrical calculations
Nachum Dershowitz, Edward M. Reingold
Bok Engelsk 2007
Verification : theory and practice : essays dedicated to Zohar Manna on the occasion of his 64th birthday
Nachum Dershowitz (ed.)
Bok Engelsk 2003
Calendrical tabulations 1900-2200
Edward M. Reingold, Nachum Dershowitz
Bok Engelsk 2002
Calendrical calculations
Edward M. Reingold, Nachum Dershowitz
Bok Engelsk 2001
Calendrical calculations
Dershowitz, Nachum
Bok Engelsk 1997
Conditional and typed rewriting systems : 4th international workshop, CTRS-94, Jerusalem, Israel, July 13-15, 1994 : proceedings
International CTRS Workshop
Bok Engelsk 1995
Rewriting techniques and applications : 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989 : proceedings
International Conference on Rewriting Techniques and Applications
Bok Engelsk 1989