Home Advanced Search

Advanced Search - Page 1

Catalogue of Artificial Intelligence Techniques
  • PDF
  • English
  • Year: 1990
  • 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 Tools
  • PDF
  • English
  • Year: 1984
  • Author: Alan Bundy, Lincoln Wallen (auth.), Alan Bundy, Lincoln Wallen (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
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.)
Logic Program Synthesis and Transformation: Proceedings of LOPSTR 92, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 2–3 July 1992
  • PDF
  • English
  • Year: 1993
  • Author: Ina Kraan, David Basin, Alan Bundy (auth.), Kung-Kiu Lau Bsc, PhD, Timothy Paul Clement Ma, DPhil (eds.)
Danger and Survival: Choices About the Bomb in the First Fifty Years
  • PDF
  • English
  • Year: 1990
  • Author: McGeorge Bundy
Govan Mbeki
  • EPUB
  • English
  • Year: 2013
  • Author: Colin Bundy
search