This book constitutes the major results of the EU COST (European Cooperation in the field of Scientific and Technical Research) Action 274: TARSKI - Theory and Applications of Relational Structures as Knowledge Instruments - running from July 2002 to June 2005. The papers are devoted to further understanding of interdisciplinary issues involving relational reasoning by addressing relational structures and the use of relational methods in applicable object domains.International Workshops of COST Action 274, TARSKI, 2002-2005, Selected Revised Papers Harrie de Swart, Ewa Orlowska, Gunther Schmidt, Marc Roubens. Theorem ... We add one more axiom, (CP0), to the axioms of LCP postulated in [8] and we explain its role. Definition ... Consequently, Lemma 24 of [8] needs repair.
Title | : | Theory and Applications of Relational Structures as Knowledge Instruments II |
Author | : | Harrie de Swart, Ewa Orlowska, Gunther Schmidt, Marc Roubens |
Publisher | : | Springer - 2007-01-23 |
You must register with us as either a Registered User before you can Download this Book. You'll be greeted by a simple sign-up page.
Once you have finished the sign-up process, you will be redirected to your download Book page.
How it works: