Home Advanced Search

Advanced Search - Page 1

Logic colloquium '99: lecture notes in logic 17
  • DJVU
  • English
  • Year: 2004
  • Author: Oostrom, Vincent van; Van Eijck, Jan; Visser, Albert (eds.)
Logic Colloquium '99 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Utrecht, Netherlands, August 1-6, 1999
  • DJVU
  • English
  • Year: 2004
  • Author: Jan Van Eijck, Vincent Van Oostrom, Albert Visser (eds.)
Logic and Information Flow
  • PDF
  • English
  • Year: 1994
  • Author: Jan van van Eijck, Albert Visser
Logic and information flow
  • EPUB
  • English
  • Year: 1994
  • Author: Jan Eijck, Albert Visser
Newman’s Proof of Newman’s Lemma
  • PDF
  • English
  • Year: 2005
  • Author: Vincent van Oostrom
Discourses on Social Software
  • PDF
  • English
  • Year: 2009
  • Author: Jan van Eijck & Jan Eijck & Rineke Verbrugge
Rewriting Techniques and Applications: 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004. Proceedings
  • PDF
  • English
  • Year: 2004
  • Author: Neil D. Jones, Nina Bohr (auth.), Vincent van Oostrom (eds.)
The Haskell Road to Logic, Maths and Programming
  • AZW3
  • English
  • Year: 2018
  • Author: Kees Doets, Jan van Eijck
Discourses on Social Software
  • PDF
  • English
  • Year: 2010
  • Author: Eijck, Jan van;Verbrugge, Rineke
Discourses on Social Software
  • PDF
  • English
  • Year: 2010
  • Author: Eijck, Jan van;Verbrugge, Rineke
search