Bokus

Andreas Blass – författare

Visar alla böcker från författaren Andreas Blass. Handla med fri frakt och snabb leverans.

7 produkter

  1. Vitaly Bergelson, Andreas Blass, Mauro Nasso, Renling Jin - Ultrafilters Across Mathematics, Häftad. Tillgänglighet: Lägg i varukorg

    Ultrafilters Across Mathematics

    Av Vitaly Bergelson, Andreas Blass m. fl.

    Häftad, 2010

    1551 kr

    Lägg i varukorg

    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 …

  2. Andreas Blass, Patrick Cégielski, Nachum Dershowitz, Manfred Droste, Bernd Finkbeiner - Fields of Logic and Computation III, Häftad. Tillgänglighet: Lägg i varukorg

    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

    561 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 …

  3. Bernd Finkbeiner, Manfred Droste, Nachum Dershowitz, Patrick Cegielski, Andreas Blass - Fields of Logic and Computation III, E-bok. Tillgänglighet: Lägg i varukorg

    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 …

  4. Lev D. Beklemishev, Andreas Blass, Nachum Dershowitz, Bernd Finkbeiner, Wolfram Schulte - Fields of Logic and Computation II, Häftad. Tillgänglighet: Lägg i varukorg

    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

    545 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 …

  5. Wolfram Schulte, Bernd Finkbeiner, Nachum Dershowitz, Andreas Blass, Lev D. Beklemishev - Fields of Logic and Computation II, E-bok. Tillgänglighet: Lägg i varukorg

    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

    750 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 …

  6. Andreas Blass, Nachum Dershowitz, Wolfgang Reisig - Fields of Logic and Computation, Häftad. Tillgänglighet: Lägg i varukorg

    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

    1082 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, …

  7. Wolfgang Reisig, Nachum Dershowitz, Andreas Blass - Fields of Logic and Computation, E-bok. Tillgänglighet: Lägg i varukorg

    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, …