Product Description: This book constitutes the refereed proceedings of the 14th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2007, held in Yerevan, Armenia, October 15-19, 2007. The 36 revised full papers presented together with 15 short papers and 3 invited talks were carefully reviewed and selected from 78 submissions...read more

Provides the mathematical formulas and computer algorithms necessary to formulate calendars from different cultures and religions, and to determine holidays and convert dates between the various calendars (view table of contents)

Product Description: This festschrift volume constitutes a unique tribute to Zohar Manna on the occasion of his 64th birthday. Like the scientific work of Zohar Manna, the 32 research articles span the entire scope of the logical half of computer science...read more

Product Description: This comprehensive collection of calendars could only have been assembled by the authors of the definitive text on calendar algorithms, Calendrical Calculations. Using the algorithms outlined in their earlier book, Reingold and Dershowitz have achieved the near impossible task of simultaneously displaying the date on thirteen different calendars over a three-hundred year period...read more (view table of contents, read Amazon.com's description)

Product Description: This new edition of the successful calendars book expands the treatment of the previous edition to new calendar variants. It frames the calendars of the world in a completely algorithmic form. The authors describe fourteen calendars and how they relate to one another: the present civil calendar (Gregorian), the recent ISO commercial calendar, the old civil calendar (Julian), the Coptic and (virtually identical) Ethiopic calendars, the Islamic (Moslem) calendar; the Baha'i, the Hebrew (Jewish) calendar, the Mayan calendars, the French Revolutionary calendar, the Chinese calendar, and both the old (mean) and new (true) Hindu (Indian) calendars...read more (view table of contents, read Amazon.com's description)

Product Description: Rewriting has always played an important role in symbolic manipulation and automated deduction systems. The theory of rewriting is an outgrowth of Combinatory Logic and the Lambda Calculus. Applications cover broad areas in automated reasoning, programming language design, semantics, and implementations, and symbolic and algebraic manipulation...read more

Product Description: This book presents throroughly revised full versions of the 21 papers accepted for the Fourth International Workshop on Conditional and Typed Rewriting Systems, CTRS-94, held in conjunction with ICALP '94 in Jerusalem, Israel, in July 1994...read more