Home Advanced Search

Advanced Search - Page 1

Logic for Programming and Automated Reasoning: 6th International Conference, LPAR’99 Tbilisi, Georgia, September 6–10, 1999 Proceedings
  • PDF
  • English
  • Year: 1999
  • Author: Alan Bundy, Julian Richardson (auth.), Harald Ganzinger, David McAllester, Andrei Voronkov (eds.)
Logic for programming and automated reasoning: 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999: proceedings
  • PDF
  • English
  • Year: 1999
  • Author: Harald Ganzinger, David McAllester, Andrei Voronkov
Catalogue of Artificial Intelligence Techniques
  • PDF
  • English
  • Year: 1990
  • Author: Alan Bundy (auth.), Alan Bundy (eds.)
Artificial Intelligence Techniques: A Comprehensive Catalogue
  • PDF
  • English
  • Year: 1997
  • Author: Alan Bundy (auth.), Alan Bundy (eds.)
Catalogue of Artificial Intelligence Tools
  • PDF
  • English
  • Year: 1986
  • Author: Alan Bundy (auth.), Alan Bundy (eds.)
Rewriting Techniques and Applications: 7th International Conference, RTA-96 New Brunswick, NJ, USA, July 27–30, 1996 Proceedings
  • PDF
  • English
  • Year: 1996
  • Author: Deepak Kapur (auth.), Harald Ganzinger (eds.)
Semantics-Directed Compiler Generation: Proceedings of a Workshop Aarhus, Denmark, January 1980
  • PDF
  • English
  • Year: 1980
  • Author: Harald Ganzinger (auth.), Neil D. Jones (eds.)
Programming Logics: Essays in Memory of Harald Ganzinger
  • PDF
  • English
  • Year: 2013
  • Author: Deepak Kapur, Robert Nieuwenhuis, Andrei Voronkov (auth.), Andrei Voronkov, Christoph Weidenbach (eds.)
Catalogue of Artificial Intelligence Tools
  • PDF
  • English
  • Year: 1984
  • Author: Alan Bundy, Lincoln Wallen (auth.), Alan Bundy, Lincoln Wallen (eds.)
Automated Deduction - CADE-17: 17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000. Proceedings
  • PDF
  • English
  • Year: 2000
  • Author: John Harrison (auth.), David McAllester (eds.)
search