Michał Zawidzki – författare
Visar alla böcker från författaren Michał Zawidzki. Handla med fri frakt och snabb leverans.
3 produkter
Ewa Orłowska on Relational Methods in Logic and Computer Science
Av Joanna Golińska-Pilarek, Michał Zawidzki
Inbunden, 2018
1532 kr
Lägg i varukorg
This book is a tribute to Professor Ewa Orłowska, a Polish logician who was celebrating the 60th year of her scientific career in 2017. It offers a collection of contributed papers by different authors and covers the most important areas of her research. Prof. Orłowska made significant …
Ewa Orlowska on Relational Methods in Logic and Computer Science
Av Michal Zawidzki, Joanna Golinska-Pilarek
E-bok, 2018
1906 kr
Lägg i varukorg
This book is a tribute to Professor Ewa Orłowska, a Polish logician who was celebrating the 60th year of her scientific career in 2017. It offers a collection of contributed papers by different authors and covers the most important areas of her research. Prof. Orłowska made significant …
Deductive Systems and the Decidability Problem for Hybrid Logics
Häftad, 2015
475 kr
Lägg i varukorg
This book stands at the intersection of two topics: the decidability and computational complexity of hybrid logics, and the deductive systems designed for them. Hybrid logics are here divided into two groups: standard hybrid logics involving nominals as expressions of a separate sort, and …
