Alan Bundy
Eine Liste von Autoren mit Biografien, Lebensdaten und späteren Sammlungen aller Bücher.
Bücher des Autors
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
