Ewa Orlowska

Identifiers

Open LibraryOL3198889A

Top Subjects

Artificial intelligence (2)
Symbolic and mathematical Logic (2)
Proof theory (1)
Automatic theorem proving (1)
Computer modelling & simulation (1)
Künstliche Intelligenz (1)
Set Theory (1)

Books by Ewa Orlowska

Total count: 11

Theorem-proving systems

Panstwowe Wydawn. Naukowe1973-01-01
Incomplete InformationRough Set Analysis (Studies in Fuzziness and Soft Computing)1 edition

Physica-Verlag Heidelberg1998-01-15
Theory and Applications of Relational Structures As Knowledge InstrumentsCOST Action 274, TARSKI, Revised Papers

Springer London, Limited2004-01-01
Transactions on Rough Sets VICommemorating Life and Work of Zdislaw Pawlak, Part I

Springer London, Limited2007-01-01
Theory and Applications of Relational Structures As Knowledge Instruments IIInternational Workshops of COST Action 274, TARSKI, 2002-2005, Selected Revised Papers

Springer London, Limited2007-01-01
Transactions on Rough Sets VIICommemorating the Life and Work of Zdzislaw Pawlak, Part II

Springer London, Limited2007-01-01
Dual Tableaux: Foundations, Methodology, Case Studies

Springer Netherlands2011-01-01
Relational Methods for Computer Science Applications

Physica2012-08-13
Relational Methods for Computer Science Applications

Physica-Verlag2013-01-01
Incomplete InformationRough Set Analysis

Physica-Verlag2013-01-01
Dualities for structures of applied logics

College Publications2015-01-01