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

類似資料

• Theory and Applications of Relational Structures as Knowledge Instruments : COST Action 274, TARSKI, Revised Papers /
  著者:: Harrie Swart, Ewa Or.owska, Gunther Schmidt, Marc Roubens
  出版事項: (2003, c2003)
• Relational Methods in Computer Science : 6th International Conference, RelMiCS 2001 and 1st Workshop of COST Action 274 TARSKI Oisterwijk, The Netherlands, October 16.21, 2001 Revised Papers /
  著者:: Harrie C. M. Swart
  出版事項: (2002, c2002)
• Relational and Algebraic Methods in Computer Science : 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30--June 3, 2011, Proceedings /
  著者:: Harrie Swart
  出版事項: (2011, c2011)
• Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX'98, Oisterwijk, The Netherlands, May 5-8, 1998, Proceedings /
  著者:: Harrie Swart
  出版事項: (1998, c1998)
• Relational Methods in Computer Science : 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected Revised Papers /
  著者:: Wendy MacCaull, Michael Winter, Ivo Düntsch
  出版事項: (2006, c2006)