Home Advanced Search

Advanced Search - Page 1

Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX’98 Oisterwijk, The Netherlands, May 5–8, 1998 Proceedings
  • PDF
  • English
  • Year: 1998
  • Author: N. G. de Bruijn (auth.), Harrie de Swart (eds.)
Relational and Algebraic Methods in Computer Science: 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 – June 3, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Bernhard Möller (auth.), Harrie de Swart (eds.)
Relational and Algebraic Methods in Computer Science: 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 – June 3, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Bernhard Möller (auth.), Harrie de Swart (eds.)
Relational and Algebraic Methods in Computer Science: 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 – June 3, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Bernhard Möller (auth.), Harrie de Swart (eds.)
Philosophical and mathematical logic
  • PDF
  • English
  • Year: 2018
  • Author: De Swart, Harrie
Philosophical and Mathematical Logic
  • PDF
  • English
  • Year: 2018
  • Author: Harrie de Swart
Philosophical and mathematical logic
  • PDF
  • English
  • Year: 2018
  • Author: De Swart, Harrie
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
  • PDF
  • English
  • Year: 2002
  • Author: Wolfram Kahl (auth.), Harrie C. M. de Swart (eds.)
Lineaire algebra
  • PDF
  • Dutch
  • Year: 1958
  • Author: N. G. de Bruijn
Theorie der representaties voor eindige groepen
  • PDF
  • Dutch
  • Year: 1957
  • Author: N. G. de Bruijn
search