Joanna Golińska-Pilarek – författare

Visar alla böcker från författaren Joanna Golińska-Pilarek. Handla med fri frakt och snabb leverans.

5 produkter

1. 

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

   Av Joanna Golińska-Pilarek, Michał Zawidzki

   Inbunden, 2018

   1532 kr

   Lägg i varukorg

   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 …

2. 

   Ewa Orlowska on Relational Methods in Logic and Computer Science

   Av Michal Zawidzki, Joanna Golinska-Pilarek

   E-bok, 2018

   1906 kr

   Lägg i varukorg

   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 …

3. 

   Dual Tableaux: Foundations, Methodology, Case Studies

   Av Ewa Orlowska, Joanna Golińska Pilarek

   Inbunden, 2010

   1641 kr

   Lägg i varukorg

   This book presents logical foundations of dual tableaux together with a number of their applications both to logics traditionally dealt with in mathematics and philosophy (such as modal, intuitionistic, relevant, and many-valued logics) and to various applied theories of computational logic (such …

4. 

   Dual Tableaux: Foundations, Methodology, Case Studies

   Av Joanna Golinska Pilarek, Ewa Orlowska

   E-bok, 2012

   2111 kr

   Lägg i varukorg

   This book presents logical foundations of dual tableaux together with a number of their applications both to logics traditionally dealt with in mathematics and philosophy (such as modal, intuitionistic, relevant, and many-valued logics) and to various applied theories of computational logic (such …

5. 

   Dual Tableaux: Foundations, Methodology, Case Studies

   Av Ewa Orlowska, Joanna Golińska Pilarek

   Häftad, 2013

   1641 kr

   Lägg i varukorg

   This book presents logical foundations of dual tableaux together with a number of their applications both to logics traditionally dealt with in mathematics and philosophy (such as modal, intuitionistic, relevant, and many-valued logics) and to various applied theories of computational logic (such …