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

DJVU
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: 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

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.)

Catalogue of Artificial Intelligence Techniques

PDF
English
Year: 1990
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.)

Automated Deduction — CADE-16: 16th International Conference on Automated Deduction Trento, Italy, July 7–10, 1999 Proceedings

PDF
English
Year: 1999
Author: Harald Ganzinger (auth.)

Automated Deduction—CADE-18: 18th International Conference on Automated Deduction Copenhagen, Denmark, July 27–30, 2002 Proceedings

PDF
English
Year: 2002
Author: Ian Horrocks (auth.), Andrei Voronkov (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.)