Related Books
Language: en
Pages: 1149
Pages: 1149
Type: BOOK - Published: 2023-09-02 - Publisher: Springer Nature
Samson Abramsky’s wide-ranging contributions to logical and structural aspects of Computer Science have had a major influence on the field. This book is a ric
Language: en
Pages: 370
Pages: 370
Type: BOOK - Published: 2024-02-29 - Publisher: Cambridge University Press
Introducing Stone–Priestley duality theory and its applications to logic and theoretical computer science, this book equips graduate students and researchers
Language: en
Pages: 582
Pages: 582
Type: BOOK - Published: 1992-12-10 - Publisher: Clarendon Press
The Handbook of Logic in Computer Science is a multi-volume work covering all major areas of application of logic to theoretical computer science.
Language: en
Pages: 886
Pages: 886
Type: BOOK - Published: 2022-04-08 - Publisher: Springer Nature
This highly interdisciplinary book, covering more than six fields, from philosophy and sciences all the way up to the humanities and with contributions from emi
Language: en
Pages: 582
Pages: 582
Type: BOOK - Published: 1992-12-10 - Publisher: Clarendon Press
The Handbook of Logic in Computer Science is a multi-volume work covering all major areas of application of logic to theoretical computer science.