Alan Bundy
Список авторов с биографиями, датами жизни и будущими подборками всех их книг.
Книги автора
15
Rippling
Rippling Meta-Level Guidance for Mathematical Reasoning. Cambridge Tracts in Theoretical Computer Science, No. 56
Automated Deduction - Cade-12
Artificial Intelligence Techniques
Directory of Australian academic and research libraries
The computer modelling of mathematical reasoning
Catalogue of artificial intelligence techniques
Australian and New Zealand information literacy framework
Artificial Intelligence Techniques
Rob Milne
Artificial intelligence
Eco-logic
Catalogue of artificial intelligence tools
The metatheory of the elementary equation calculus
