Leseprobe
* Affiliatelinks/Werbelinks
Links auf reinlesen.de sind sogenannte Affiliate-Links. Wenn du auf so einen Affiliate-Link klickst und über diesen Link einkaufst, bekommt reinlesen.de von dem betreffenden Online-Shop oder Anbieter eine Provision. Für dich verändert sich der Preis nicht.
Ewa Orłowska on Relational Methods in Logic and Computer Science
Joanna Golińska-Pilarek (Hrsg.), Michał Zawidzki (Hrsg.)
* Affiliatelinks/Werbelinks
Links auf reinlesen.de sind sogenannte Affiliate-Links. Wenn du auf so einen Affiliate-Link klickst und über diesen Link einkaufst, bekommt reinlesen.de von dem betreffenden Online-Shop oder Anbieter eine Provision. Für dich verändert sich der Preis nicht.
Springer International Publishing 
Geisteswissenschaften, Kunst, Musik / Allgemeines, Lexika
Beschreibung
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 contributions to many fields of logic, such as proof theory, algebraic methods in logic and knowledge representation, and her work has been published in 3 monographs and over 100 articles in internationally acclaimed journals and conference proceedings. The book also includes Prof. Orłowska’s autobiography, bibliography and a trialogue between her and the editors of the volume, as well as contributors' biographical notes, and is suitable for scholars and students of logic who are interested in understanding more about Prof. Orłowska’s work.
Kundenbewertungen
Ewa Orłowska Algebraic Methods, Proof Systems for Non-Classical Logics, Relational Methods in Logic, Logics for Qualitative Reasoning, Ewa Orłowska Computer Science, Tableau and Dual Tableau Systems, Logics for Knowledge Representation, Relational Decision Procedures, Ewa Orłowska Qualitative Reasoning, Ewa Orłowska Non-classical Logics, Ewa Orłowska Tableau Systems, Algebraic Methods in Logic, Ewa Orłowska Dual Tableau Systems, Ewa Orłowska on Logic, Logics for Reasoning Under Uncertainty, Ewa Orłowska Proof Systems, Ewa Orłowska Knoweldge Representation, Relational Methods in Computer Science, Ewa Orłowska Reasoning Under Uncertainty