Jump to main content

yr 〜
yr

Search results 5

Philosophical and Mathematical Logic

Philosophical and Mathematical Logic
Paper図書
Harrie de SwartSpringer Naturec2018
Other Libraries in Japan
  • Author HeadingSwart, Harrie de

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

Theory and application of relational structures as knowledge instruments II : International Workshops of COST Action 274, TARSKI, 2002-2005, selected revised papers
Paper図書
Harrie de Swart ... [et al.] (eds.)Springer2006
Other Libraries in Japan
  • Author HeadingSwart, Harrie de Orlowska, Ewa Schmidt, Gunthe...

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

Theory and applications of relational structures as knowledge instruments : COST Action 274, TARSKI : revised papers
Paper図書
Harrie de Swart ... [et al.] (eds.)Springerc2003
Other Libraries in Japan
  • Author HeadingSwart, Harrie de

Logic, game theory and social choice : proceedings of the International Conference, LGS'99, May 13-16, 1999

Logic, game theory and social choice : proceedings of the International Conference, LGS'99, May 13-16, 1999
Paper図書
edited by Harrie de SwartTilburg University Press1999
Other Libraries in Japan
  • Author HeadingLGS Swart, Harrie de

Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX'98, Oisterwijk, The Netherlands, May 5-8, 1998 : proceedings

Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX'98, Oisterwijk, The Netherlands, May 5-8, 1998 : proceedings
Paper図書
Harrie de Swart (ed.)Springerc1998
Other Libraries in Japan
  • Author HeadingTABLEAUX Swart, Harrie de

Reached to the end of result.

RSS