1
by Orlowska, Ewa, Golińska Pilarek, Joanna
Published 2011
Springer Netherlands
Table of Contents: ... Algebras of Binary -- 3. Theories of Point Relations and Relational Model Checking -- 4. Dual Tableaux...

2
Published 2003
Springer Berlin Heidelberg
Table of Contents: ... of (Relational) Data Mining -- Mechanised Reasoning and Model Generation for Extended Modal Logics -- Theory...

3
Published 2006
Springer Berlin Heidelberg
Subjects: ...Formal Languages and Automata Theory...

4
Published 2003
Physica
Table of Contents: ... to Entropy and its Generalizations — A Survey -- Proof Theory and Automated Deduction in Multiple-valued...

5
Published 2007
Springer Berlin Heidelberg
Table of Contents: ... Set Approach as a Proper Way of Handling Graduality in Rough Set Theory -- Deriving Belief Networks...

6
by Demri, Stephane P., Orlowska, Ewa
Published 2002
Springer Berlin Heidelberg
Subjects: ...Formal Languages and Automata Theory...

7
Published 2007
Springer Berlin Heidelberg
Table of Contents: ... Rules with Weights -- A Personal View on AI, Rough Set Theory and Professor Pawlak -- Formal Topology...