Logic : mathematics, language, computer science and philosophy. Vol. 2, Logic and computer science /

Autor Swart, H. C. M. de 1944-
Vydáno 1994

Philosophical and mathematical logic /

Autor Swart, H. C. M. de 1944-
Vydáno 2018

Relational methods in computer science : 6th International Conference, RelMiCS 2001 and 1st Worksho of COST action 274 TARSKI, Oisterwijk, the Netherlands, October 16.-21., 2001 : revised papers /

Vydáno 2002

Theory and applications of relational structures as knowledge instruments : COST Action 274, TARSKI : revised papers /

Vydáno 2003

Theory and applications of relational structures as knowledge instruments II : International Workshops of COST Action 274, TARSKI, 2002-2005 : selected revised papers /

Vydáno 2006