Home Advanced Search

Advanced Search - Page 1

Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2002 Copenhagen, Denmark, July 30 – August 1, 2002 Proceedings
  • PDF
  • English
  • Year: 2002
  • Author: Matthias Baaz (auth.), Uwe Egly, Chritian G. Fermüller (eds.)
Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2002 Copenhagen, Denmark, July 30 – August 1, 2002 Proceedings
  • PDF
  • English
  • Year: 2002
  • Author: Matthias Baaz (auth.), Uwe Egly, Chritian G. Fermüller (eds.)
Computer Science Logic: 9th International Workshop, CSL '95 Annual Conference of the EACSL Paderborn, Germany, September 22–29, 1995 Selected Papers
  • PDF
  • English
  • Year: 1996
  • Author: Matthias Baaz, Alexander Leitsch, Richard Zach (auth.), Hans Kleine Büning (eds.)
Computer Science Logic: 9th International Workshop, CSL '95 Annual Conference of the EACSL Paderborn, Germany, September 22–29, 1995 Selected Papers
  • DJVU
  • English
  • Year: 1996
  • Author: Matthias Baaz, Alexander Leitsch, Richard Zach (auth.), Hans Kleine Büning (eds.)
Logic for Programming, Artificial Intelligence, and Reasoning: 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Krishnendu Chatterjee, Laurent Doyen (auth.), Christian G. Fermüller, Andrei Voronkov (eds.)
Logic for Programming, Artificial Intelligence, and Reasoning: 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Krishnendu Chatterjee, Laurent Doyen (auth.), Christian G. Fermüller, Andrei Voronkov (eds.)
Logic for Programming, Artificial Intelligence, and Reasoning: 9th International Conference, LPAR 2002 Tbilisi, Georgia, October 14–18, 2002 Proceedings
  • PDF
  • English
  • Year: 2002
  • Author: M. Alpuente, S. Escobar, B. Gramlich (auth.), Matthias Baaz, Andrei Voronkov (eds.)
Computer Science Logic: 17th International Workshop CSL 2003, 12th Annual Conference of the EACSL, 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003. Proceedings
  • PDF
  • English
  • Year: 2003
  • Author: Parosh Aziz Abdulla, Ahmed Bouajjani, Julien d’Orso (auth.), Matthias Baaz, Johann A. Makowsky (eds.)
Lectures on Soft Computing and Fuzzy Logic
  • PDF
  • English
  • Year: 2001
  • Author: Matthias Baaz, Agata Ciabattoni (auth.), Prof. Antonio Di Nola, Prof. Giangiacomo Gerla (eds.)
Computer Science Logic: 17th International Workshop CSL 2003, 12th Annual Conference of the EACSL, 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003. Proceedings
  • PDF
  • English
  • Year: 2003
  • Author: Parosh Aziz Abdulla, Ahmed Bouajjani, Julien d’Orso (auth.), Matthias Baaz, Johann A. Makowsky (eds.)
search