wyszukanych pozycji: 2
Fields of Logic and Computation: Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday
ISBN: 9783642150241 / Angielski / Miękka / 2010 / 627 str. Termin realizacji zamówienia: ok. 20 dni roboczych. 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 of order, abstract state machines, formal methods, foundations of computer science, security, and much more. In May 2010, Yuri celebrated his 70th birthday. To mark that occasion, on August 22, 2010, a symposium was held in Brno, the Czech Republic, as a sat- lite event of the 35th International Symposium on Mathematical Foundations...
Yuri Gurevich has played a major role in the discovery and development of - plications of mathematical logic to theoretical and practical computer sci...
|
|
cena:
391,77 zł |
Fields of Logic and Computation III: Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday
ISBN: 9783030480059 / Angielski / Miękka / 2020 / 341 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
|
cena:
195,87 zł |