Ewa Orłowska on Relational Methods in Logic and Computer Science (Outstanding Contributions to Logic)
暫譯: Ewa Orłowska 談邏輯與計算機科學中的關聯方法(邏輯傑出貢獻系列)
- 出版商: Springer
- 出版日期: 2018-12-20
- 售價: $6,400
- 貴賓價: 9.5 折 $6,080
- 語言: 英文
- 頁數: 502
- 裝訂: Hardcover
- ISBN: 3319978780
- ISBN-13: 9783319978789
-
相關分類:
Computer-Science、SQL
海外代購書籍(需單獨結帳)
相關主題
商品描述
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.
商品描述(中文翻譯)
本書是對波蘭邏輯學家 Ewa Orłowska 教授的致敬,她在2017年慶祝了其科學事業的第60個年頭。本書收錄了不同作者的貢獻論文,涵蓋了她研究中最重要的領域。Orłowska 教授在邏輯的許多領域做出了重要貢獻,例如證明理論、邏輯中的代數方法和知識表示,她的研究成果已發表在三本專著和超過100篇國際知名期刊及會議論文集中。本書還包括 Orłowska 教授的自傳、書目以及她與本書編輯之間的三方對話,還有貢獻者的傳記簡介,適合對 Orłowska 教授的工作感興趣的邏輯學者和學生閱讀。