Fields of logic and computation II : essays dedicated to Yuri Gurevich on the occasion of his 75th birthday ; ["Yurifest" symposium, which was held in Berlin, Germany, on September 11 and 12, 2015]

Fields of logic and computation II essays dedicated to Yuri Gurevich on the occasion of his 75th birthday ; ["Yurifest" symposium, which was held in Berlin, Germany, on September 11 and 12, 2015]

Gespeichert in:
Bibliographische Detailangaben
Weitere Verfasser: Beklemishev, Lev D. (BerichterstatterIn), Gurevich, Yuri (GefeierteR)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Cham u.a. Springer 2015
Schriftenreihe:Lecture notes in computer science 9300
Schlagworte:
Konferenzschrift
Online Zugang:Inhaltstext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:Co-located with the 24th EACSL Annual Conference on Computer Science Logic (CSL 2015)
Literaturangaben
Beschreibung:X, 318 S.
Ill.
ISBN:3642150241
3-642-15024-1
9783642150241
978-3-642-15024-1