Fields of Logic and Computation II / Lecture Notes in Computer Science Bd.9300 (PDF)
Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday
(Sprache: Englisch)
Fields of Logic and Computation II
This Festschrift has been published in honor of Yuri Gurevich, on the occasionof his 75th birthday. Yuri Gurevich has made a number of fundamental contributions to the broad spectrum of logic and computer science,...
This Festschrift has been published in honor of Yuri Gurevich, on the occasionof his 75th birthday. Yuri Gurevich has made a number of fundamental contributions to the broad spectrum of logic and computer science,...
sofort als Download lieferbar
eBook (pdf)
54.99 €
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
Produktdetails
Produktinformationen zu „Fields of Logic and Computation II / Lecture Notes in Computer Science Bd.9300 (PDF)“
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 of order, abstract state machines, formal methods,
foundations of computer science, security, and much more. Many of these
areas are reflected in the 20 articles in this Festschrift and in the presentations
at the "Yurifest" symposium, which was held in Berlin, Germany, on September
11 and 12, 2015.
The Yurifest symposium was co-located with the 24th EACSL Annual Conference on Computer Science Logic (CSL 2015).
Bibliographische Angaben
- 2015, 1st ed. 2015, 319 Seiten, Englisch
- Herausgegeben: Lev D. Beklemishev, Andreas Blass, Nachum Dershowitz, Bernd Finkbeiner, Wolfram Schulte
- Verlag: Springer-Verlag GmbH
- ISBN-10: 3319235346
- ISBN-13: 9783319235349
- Erscheinungsdatum: 05.09.2015
Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- Größe: 5.21 MB
- Mit Kopierschutz
- Vorlesefunktion
Sprache:
Englisch
Kopierschutz
Dieses eBook können Sie uneingeschränkt auf allen Geräten der tolino Familie lesen. Zum Lesen auf sonstigen eReadern und am PC benötigen Sie eine Adobe ID.
Kommentar zu "Fields of Logic and Computation II / Lecture Notes in Computer Science Bd.9300"
Schreiben Sie einen Kommentar zu "Fields of Logic and Computation II / Lecture Notes in Computer Science Bd.9300".
Kommentar verfassen