Fields of Logic and Computation II Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday /

Fields of Logic and Computation II Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday /

Fields of Logic and Computation II This Festschrift has been published in honor of Yuri Gurevich, on the occasion of his 75th birthday. Yuri Gurevich has made a number of fundamental contributions  to the broad spectrum of logic and computer science, including decision procedures, the monadic theory...

Full description

Bibliographic Details
Published in:Springer eBooks
Corporate Author: SpringerLink (Online service)
Other Authors: Beklemishev, Lev D. (Editor), Blass, Andreas (Editor), Dershowitz, Nachum (Editor), Finkbeiner, Bernd (Editor), Schulte, Wolfram (Editor)
Format: eBook
Language:English
Published: Cham : Springer International Publishing : Imprint: Springer, 2015.
Edition:1st ed. 2015.
Series:Lecture Notes in Computer Science,
Subjects:
Computer Science.
Computer programming.
Programming Techniques.
Online Access:http://dx.doi.org/10.1007/978-3-319-23534-9
Перейти в каталог НБ ТГУ

Similar Items

Similar Items