Home Advanced Search

Advanced Search - Page 1

Automated Deduction — CADE-12: 12th International Conference on Automated Deduction Nancy, France, June 26 – July 1, 1994 Proceedings
  • PDF
  • English
  • Year: 1994
  • Author: John Slaney (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.)
Catalogue of Artificial Intelligence Techniques
  • PDF
  • English
  • Year: 1990
  • Author: Alan Bundy (auth.), Alan Bundy (eds.)
Catalogue of Artificial Intelligence Tools
  • PDF
  • English
  • Year: 1984
  • Author: Alan Bundy, Lincoln Wallen (auth.), Alan Bundy, Lincoln Wallen (eds.)
PRICAI 2000 Topics in Artificial Intelligence: 6th Pacific Rim International Conference on Artificial Intelligence Melbourne, Australia, August 28 – September 1, 2000 Proceedings
  • PDF
  • English
  • Year: 2000
  • Author: Nick Jennings (auth.), Riichiro Mizoguchi, John Slaney (eds.)
The Computer Modelling of Mathematical Reasoning
  • PDF
  • English
  • Year: 1986
  • Author: Alan Bundy
The computer modelling of mathematical reasoning
  • DJVU
  • English
  • Year: 1983
  • Author: Alan Bundy
The computer modelling of mathematical reasoning
  • DJVU
  • English
  • Year: 1983
  • Author: Alan Bundy
AI 2002: Advances in Artificial Intelligence: 15th Australian Joint Conference on Artificial Intelligence Canberra, Australia, December 2–6, 2002 Proceedings
  • PDF
  • English
  • Year: 2002
  • Author: Debbie Richards, Kathrin Boettger, Oscar Aguilera (auth.), Bob McKay, John Slaney (eds.)
search