Showing 1 - 4 results of 4 for search 'Swart, Harrie de', query time: 0.02s Refine Results
  1. 1
    Automated Reasoning with Analytic Tableaux and Related Methods International Conference, TABLEAUX'98, Oisterwijk, The Netherlands, May 5-8, 1998, Proceedings /
    Published 1998
    Other Authors: “…Swart, Harrie de…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Relational and Algebraic Methods in Computer Science 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 – June 3, 2011. Proceedings /
    Published 2011
    Other Authors: “…Swart, Harrie de…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    Theory and Applications of Relational Structures as Knowledge Instruments COST Action 274, TARSKI. Revised Papers /
    Published 2003
    Other Authors: “…Swart, Harrie de…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 4
    Theory and Applications of Relational Structures as Knowledge Instruments II International Workshops of COST Action 274, TARSKI, 2002-2005, Selected Revised Papers /
    Published 2006
    Other Authors: “…Swart, Harrie de…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search