Harrie de Swart

No bio available. Add one in Open Library.

Books by Harrie de Swart (50 max)

+ shelf+ list

Automated Reasoning with Analytic Tableaux and Related Methods International Conference, TABLEAUX'98, Oisterwijk, the Netherlands, May 5-8, 1998, Proceedings

2003

Harrie de Swart

+ shelf+ list

Theory and Applications of Relational Structures As Knowledge Instruments COST Action 274, TARSKI, Revised Papers

2004

Harrie de Swart, Ewa Orlowska, Gunther Schmidt, Marc Roubens

+ shelf+ list

Theory and Applications of Relational Structures As Knowledge Instruments II International Workshops of COST Action 274, TARSKI, 2002-2005, Selected Revised Papers

2007

Harrie de Swart, Ewa Orlowska, Gunther Schmidt, Marc Roubens

+ shelf+ list

Relational and Algebraic Methods in Computer Science 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30--June 3, 2011, Proceedings

2011

Harrie de Swart

+ shelf+ list

Philosophical and Mathematical Logic

2018

Harrie de Swart