Ewa Orlowska on Relational Methods in Logic and Computer Science

Editeur: Springer International Publishing AG
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.
Sur commande
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.
ISBN / EAN 9783319978789
Editeur Springer International Publishing AG