Related Books
Language: en
Pages: 190
Pages: 190
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media
Gödel's modal ontological argument is the centerpiece of an extensive examination of intensional logic. First, classical type theory is presented semantically,
Language: en
Pages: 411
Pages: 411
Type: BOOK - Published: 2017-09-18 - Publisher: Springer
This book constitutes the refereed proceedings of the 40th Annual German Conference on Artificial Intelligence, KI 2017 held in Dortmund, Germany in September 2
Language: en
Pages: 349
Pages: 349
Type: BOOK - Published: 2023-10-31 - Publisher: Springer Nature
This volume is the first attempt to investigate explicitly how the multiplicity of religions and forms of spirituality interconnect with the pluralism of langua
Language: en
Pages: 178
Pages: 178
Type: BOOK - Published: 2015-12-29 - Publisher: Springer
This book constitutes the thoroughly refereed post-conference proceedings of the 22nd International Workshop on Algebraic Development Techniques, WADT 2014, hel
Language: en
Pages: 308
Pages: 308
Type: BOOK - Published: 2017-11-17 - Publisher: Springer
This book constitutes the refereed proceedings of the 20th Brazilian Symposium on Formal Methods, SBMF 2017, which took place in Recifel, Brazil, in November/De