書目名稱 | Ewa Or?owska on Relational Methods in Logic and Computer Science |
編輯 | Joanna Golińska-Pilarek,Micha? Zawidzki |
視頻video | http://file.papertrans.cn/319/318135/318135.mp4 |
概述 | Is the first book to provide a comprehensive presentation of Ewa Orlowska’s contributions to logic.Offers a review of the applications of relational methods in logic and computer science.Includes an i |
叢書名稱 | Outstanding Contributions to Logic |
圖書封面 |  |
描述 | 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. |
出版日期 | Book 2018 |
關(guān)鍵詞 | Ewa Or?owska on Logic; Relational Methods in Logic; Relational Methods in Computer Science; Logics for |
版次 | 1 |
doi | https://doi.org/10.1007/978-3-319-97879-6 |
isbn_ebook | 978-3-319-97879-6Series ISSN 2211-2758 Series E-ISSN 2211-2766 |
issn_series | 2211-2758 |
copyright | Springer Nature Switzerland AG 2018 |