Andreas Blass – författare
Visar alla böcker från författaren Andreas Blass. Handla med fri frakt och snabb leverans.
7 produkter
Fields of Logic and Computation III
Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday
Av Andreas Blass, Patrick Cégielski m. fl.
Häftad, 2020
568 kr
Lägg i varukorg
This Festschrift is published in honor of Yuri Gurevich’s 80th birthday. An associated conference, YuriFest 2020, was planned for May 18–20 in Fontainebleau, France, in combination with the 39th Journées sur les Arithmétiques Faibles also celebrating Yuri’s 80th birthday. Because of the coronavirus …
Fields of Logic and Computation III
Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday
Av Bernd Finkbeiner, Manfred Droste m. fl.
E-bok, 2020
739 kr
Lägg i varukorg
This Festschrift is published in honor of Yuri Gurevich’s 80th birthday. An associated conference, YuriFest 2020, was planned for May 18–20 in Fontainebleau, France, in combination with the 39th Journées sur les Arithmétiques Faibles also celebrating Yuri’s 80th birthday. Because of the coronavirus …
Fields of Logic and Computation II
Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday
Av Lev D. Beklemishev, Andreas Blass m. fl.
Häftad, 2015
552 kr
Lägg i varukorg
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, formal methods, foundations of computer …
Fields of Logic and Computation II
Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday
Av Wolfram Schulte, Bernd Finkbeiner m. fl.
E-bok, 2015
755 kr
Lägg i varukorg
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, formal methods, foundations of …
Fields of Logic and Computation
Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday
Av Andreas Blass, Nachum Dershowitz m. fl.
Häftad, 2010
1096 kr
Lägg i varukorg
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, …
Fields of Logic and Computation
Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday
Av Wolfgang Reisig, Nachum Dershowitz m. fl.
E-bok, 2010
1455 kr
Lägg i varukorg
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, …
Ultrafilters Across Mathematics
Av Vitaly Bergelson, Andreas Blass m. fl.
Häftad, 2010
1560 kr
Tillfälligt slut
This volume originated from the International Congress ""ULTRAMATH: Applications of Ultrafilters and Ultraproducts in Mathematics"", which was held in Pisa, Italy, from June 1-7, 2008. The volume aims to present the state-of-the-art of applications in the whole spectrum of mathematics which are …
