Home Advanced Search

Advanced Search - Page 1

Automated Reasoning: Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings
  • PDF
  • English
  • Year: 2006
  • Author: Bruno Buchberger (auth.), Ulrich Furbach, Natarajan Shankar (eds.)
Logische und Funktionale Programmierung: Grundlagen einer Kombination
  • PDF
  • German
  • Year: 1991
  • Author: Ulrich Furbach (auth.)
CONCUR 2000 — Concurrency Theory: 11th International Conference University Park, PA, USA, August 22–25, 2000 Proceedings
  • PDF
  • English
  • Year: 2000
  • Author: Natarajan Shankar (auth.), Catuscia Palamidessi (eds.)
Rewriting Logic and Its Applications: 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers
  • PDF
  • English
  • Year: 2010
  • Author: Natarajan Shankar (auth.), Peter Csaba Ölveczky (eds.)
Rewriting Logic and Its Applications: 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers
  • PDF
  • English
  • Year: 2010
  • Author: Natarajan Shankar (auth.), Peter Csaba Ölveczky (eds.)
Design and Implementation of Symbolic Computation Systems: International Symposium, DISCO '93 Gmunden, Austria, September 15–17, 1993 Proceedings
  • DJVU
  • English
  • Year: 1993
  • Author: Bruno Buchberger (auth.), Alfonso Miola (eds.)
Design and Implementation of Symbolic Computation Systems: International Symposium, DISCO '93 Gmunden, Austria, September 15–17, 1993 Proceedings
  • PDF
  • English
  • Year: 1993
  • Author: Bruno Buchberger (auth.), Alfonso Miola (eds.)
Computer Aided Systems Theory — EUROCAST 2001: A Selection of Papers from the 8th International Workshop on Computer Aided Systems Theory Las Palmas de Gran Canaria, Spain, February 19–23, 2001 Revised Papers
  • PDF
  • English
  • Year: 2001
  • Author: Bruno Buchberger (auth.), Roberto Moreno-Díaz, Bruno Buchberger, José Luis Freire (eds.)
Rewriting Techniques and Applications: 13th International Conference, RTA 2002 Copenhagen, Denmark, July 22–24, 2002 Proceedings
  • PDF
  • English
  • Year: 2002
  • Author: Natarajan Shankar, Harald Rueß (auth.), Sophie Tison (eds.)
KI 2005: Advances in Artificial Intelligence: 28th Annual German Conference on AI, KI 2005, Koblenz, Germany, September 11-14, 2005. Proceedings
  • PDF
  • English
  • Year: 2005
  • Author: Joachim De Beule, Luc Steels (auth.), Ulrich Furbach (eds.)
search