Ewa Orłowska on Relational Methods in Logic and Computer Science

Ewa Orłowska on Relational Methods in Logic and Computer Science
Author :
Publisher : Springer
Total Pages : 511
Release :
ISBN-10 : 9783319978796
ISBN-13 : 3319978799
Rating : 4/5 (96 Downloads)

Book Synopsis Ewa Orłowska on Relational Methods in Logic and Computer Science by : Joanna Golińska-Pilarek

Download or read book Ewa Orłowska on Relational Methods in Logic and Computer Science written by Joanna Golińska-Pilarek and published by Springer. This book was released on 2018-12-08 with total page 511 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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 on Relational Methods in Logic and Computer Science Related Books

Ewa Orłowska on Relational Methods in Logic and Computer Science
Language: en
Pages: 511
Authors: Joanna Golińska-Pilarek
Categories: Philosophy
Type: BOOK - Published: 2018-12-08 - Publisher: Springer

DOWNLOAD EBOOK

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
Relational Methods for Computer Science Applications
Language: en
Pages: 293
Authors: Ewa Orlowska
Categories: Computers
Type: BOOK - Published: 2013-11-11 - Publisher: Physica

DOWNLOAD EBOOK

This volume addresses all current aspects of relational methods and their applications in computer science. It presents a broad variety of fields and issues in
Relational Methods in Computer Science
Language: en
Pages: 289
Authors: Chris Brink
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

The calculus of relations has been an important component of the development of logic and algebra since the middle of the nineteenth century, when Augustus De M
Transactions on Rough Sets VII
Language: en
Pages: 389
Authors: Victor W. Marek
Categories: Computers
Type: BOOK - Published: 2007-04-17 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Together with volume VI of the Transactions on Rough Sets series, this book commemorates the life and work of Zdzislaw Pawlak (1926-2006). It presents papers th
Rough Sets
Language: en
Pages: 320
Authors: Sheela Ramanna
Categories: Computers
Type: BOOK - Published: 2021-09-17 - Publisher: Springer Nature

DOWNLOAD EBOOK

The volume LNAI 12872 constitutes the proceedings of the International Joint Conference on Rough Sets, IJCRS 2021, Bratislava, Slovak Republic, in September 202