Home Advanced Search

Advanced Search - Page 1

Nonclassical Logics and Information Processing: International Workshop Berlin, Germany, November 9–10, 1990 Proceedings
  • PDF
  • English
  • Year: 1992
  • Author: Ewa Orlowska (auth.), David Pearce, Heinrich Wansing (eds.)
Nonclassical Logics and Information Processing: International Workshop Berlin, Germany, November 9–10, 1990 Proceedings
  • DJVU
  • English
  • Year: 1992
  • Author: Ewa Orlowska (auth.), David Pearce, Heinrich Wansing (eds.)
Proof Theory of Modal Logic
  • PDF
  • English
  • Year: 1996
  • Author: Heinrich Wansing (eds.)
The Logic of Information Structures
  • DJVU
  • English
  • Year: 1993
  • Author: Heinrich Wansing (auth.)
Towards Mathematical Philosophy: Papers from the Studia Logica conference Trends in Logic IV
  • PDF
  • English
  • Year: 2009
  • Author: David Makinson, Jacek Malinowski, Heinrich Wansing (eds.)
Towards Mathematical Philosophy: Papers from the Studia Logica conference Trends in Logic IV
  • PDF
  • English
  • Year: 2009
  • Author: David Makinson, Jacek Malinowski, Heinrich Wansing (eds.)
Towards Mathematical Philosophy: Papers from the Studia Logica conference Trends in Logic IV
  • PDF
  • English
  • Year: 2008
  • Author: David Makinson, Jacek Malinowski, Heinrich Wansing (eds.)
Dual Tableaux: Foundations, Methodology, Case Studies
  • PDF
  • English
  • Year: 2011
  • Author: Ewa Orlowska, Joanna Golińska Pilarek (auth.)
Dual Tableaux: Foundations, Methodology, Case Studies
  • PDF
  • English
  • Year: 2011
  • Author: Ewa Orlowska, Joanna Golińska Pilarek (auth.)
Logics in Artificial Intelligence: 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Sergei Artemov (auth.), Steffen Hölldobler, Carsten Lutz, Heinrich Wansing (eds.)
search