Most Popular Books
- Theory and Applications of Relational Structures as Knowledge Instruments: COST Action 274, TARSKI, Revised Papers (Lecture Notes in Computer Science)
- Relational Methods for Computer Science Applications (Studies in Fuzziness and Soft Computing)
- Dual Tableaux: Foundations, Methodology, Case Studies
- Logics in Artificial Intelligence: European Workshop, Jelia '96 Evora, Portugal September 30-October 3, 1996 : Proceedings (Lecture Notes in Computer Science)
- Dualities for Structures of Applied Logics