分享给好友:
Ewa Orlowska on Relational Methods in Logic and Computer Science 1st ed. 2018 edition
Ewa Orlowska on Relational Methods in Logic and Computer Science
Orlowska 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.
502 pages, 7 Illustrations, color; 136 Illustrations, black and white; XVIII, 502 p. 143 illus., 7 i
| 介质类型 | 图书 Book |
| 已发行 | 2018年12月20日 |
| ISBN13 | 9783319978789 |
| 出版商 | Springer International Publishing AG |
| 页数 | 502 |
| 商品尺寸 | 164 × 244 × 31 mm · 939 g |
| 语言 | 德语 |
| 编辑 | Golinska-Pilarek, Joanna |
| 编辑 | Zawidzki, Michal |