We found 13 results
indigoBooksnachum dershowitz

Sort By:

Sorted By: Top Matches
Filtered By:
Books
1 - 12 of 13 Results
Top Matches
Language, Culture, Computation: Computing - Theory And Technology: Essays Dedicated To Yaacov…

In stock online

Not available in stores

This Festschrift volume is published in Honor of Yaacov Choueka on the occasion of this 75th birthday. The present three-volumes liber amicorum, several years in gestation, honours this outstanding Israeli computer scientist and is dedicated to him and to his…
Calendrical Calculations: The Ultimate Edition

In stock online

Not available in stores

Language, Culture, Computation: Computational Linguistics And Linguistics: Essays Dedicated To…

In stock online

Not available in stores

This Festschrift volume is published in Honor of Yaacov Choueka on the occasion of this 75th birthday. The present three-volumes liber amicorum, several years in gestation, honours this outstanding Israeli computer scientist and is dedicated to him and to his…
Fields Of Logic And Computation Iii: Essays Dedicated To Yuri Gurevich On The Occasion Of His 80th…

In stock online

Not available in stores

This Festschrift is published in honor of Yuri Gurevich's 80th birthday. The conference, Yurifest 2020, was combined with the 39th Journées sur les Arithmétiques Faibles also celebrating Yuri's 80th birthday and took place May 18-20 in Fontainebleau,…
Fields of Logic and Computation II: Essays Dedicated to Yuri Gurevich on the Occasion of His 75th…

In stock online

Not available in stores

This Festschrift is published in honor of Yuri Gurevich's 75th birthday. Yuri Gurevich has made fundamental contributions on the broad spectrum of logic and computer science, including decision procedures, the monadic theory of order, abstract state machines,…
Language, Culture, Computation: Computing For The Humanities, Law, And Narratives: Essays Dedicated…

In stock online

Not available in stores

This Festschrift volume is published in Honor of Yaacov Choueka on the occasion of this 75th birthday. The present three-volumes liber amicorum, several years in gestation, honours this outstanding Israeli computer scientist and is dedicated to him and to his…
Fields of Logic and Computation: Essays Dedicated to Yuri Gurevich on the Occasion of His 70th…

In stock online

Not available in stores

Yuri Gurevich has played a major role in the discovery and development of - plications of mathematical logic to theoretical and practical computer science. His interests have spanned a broad spectrum of subjects, including decision p- cedures, the monadic theory…
Unconventional Computation: 8th International Conference, UC 2009, Ponta Delgada, Portugal…

In stock online

Not available in stores

This book constitutes the refereed proceedings of the 8th International Conference on Unconventional Computation, UC 2009, held in Ponta Delgada, Portugal, in September 2009. The 18 revised full papers presented together with 8 invited talks, 3 tutorials and 5…
Pillars of Computer Science: Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His…

In stock online

Not available in stores

The Person 1 Boris Abramovich Trakhtenbrot (????? ????????? ???????????) - his Hebrew given name is Boaz ( ) - is universally admired as a founding - ther and long-standing pillar of the discipline of computer science. He is the ?eld's preeminent…
Logic for Programming, Artificial Intelligence, and Reasoning: 14th International Conference, LPAR…

In stock online

Not available in stores

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. It contains 36 revised full papers, 15 short papers and three invited talks…
Verification: Theory And Practice: Essays Dedicated To Zohar Manna On The Occasion Of His 64th…

In stock online

Not available in stores

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. Also included is a paean to…
Conditional and Typed Rewriting Systems: 4th International Workshop, CTRS-94, Jerusalem, Israel…

In stock online

Not available in stores

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. The volume reports…
Loading