(Ilmumisaeg: 01-Aug-2023, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031241178)
Samson Abramskys wide-ranging contributions to logical and structural aspects of Computer Science have had a major influence on the field. This book is a rich collection of papers, inspired by and extending Abramskys work. It contains both survey m...Loe edasi...
(Ilmumisaeg: 01-Aug-2023, EPUB+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031241178)
Samson Abramskys wide-ranging contributions to logical and structural aspects of Computer Science have had a major influence on the field. This book is a rich collection of papers, inspired by and extending Abramskys work. It contains both survey m...Loe edasi...
Helle Hvid Hansen, Sarah E. Murray, Mehrnoosh Sadrzadeh, Henk Zeevat
Sari: Theoretical Computer Science and General Issues
(Ilmumisaeg: 21-Feb-2017, PDF+DRM, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ISBN-13: 9783662543320)
This book constitutes the refereed proceedings of the 11th International Tbilisi Symposium on Logic, Language and Computation, TbiLLC 2015, held in Tbilisi, Georgia, in September 2015.The 18 papers in this book were selected from the invited submis...Loe edasi...
Helle Hvid Hansen, Sarah E. Murray, Mehrnoosh Sadrzadeh, Henk Zeevat
Sari: Theoretical Computer Science and General Issues
(Ilmumisaeg: 21-Feb-2017, EPUB+DRM, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ISBN-13: 9783662543320)
This book constitutes the refereed proceedings of the 11th International Tbilisi Symposium on Logic, Language and Computation, TbiLLC 2015, held in Tbilisi, Georgia, in September 2015.The 18 papers in this book were selected from the invited submis...Loe edasi...
Chris Heunen, Mehrnoosh Sadrzadeh, Edward Grefenstette
(Ilmumisaeg: 21-Feb-2013, PDF+DRM, Kirjastus: Oxford University Press, ISBN-13: 9780191650314)
New scientific paradigms typically consist of an expansion of the conceptual language with which we describe the world. Over the past decade, theoretical physics and quantum information theory have turned to category theory to model and reason about...Loe edasi...
