alan bundy
Rippling: Meta-Level Guidance for Mathematical Reasoning
EbookSofort lieferbarRippling is a radically new technique for the automation of mathematical reasoning. It is widely ...
Artificial Intelligence Techniques
EbookSofort lieferbarThe purpose of 'Artificial Intelligence Techniques: A Comprehensive Cata logue' is to promote in...
Catalogue of Artificial Intelligence Techniques
EbookSofort lieferbarThe purpose of the Catalogue of Artificial Intelligence Techniques is to promote interaction betw...
Catalogue of Artificial Intelligence Tools
EbookSofort lieferbarThe purpose of this catalogue is to promote interaction between members of the AI community. It w...
Rippling
BuchBezug 11-15A unique, systematic and comprehensive introduction to rippling and to the wider subject of autom...
Artificial Intelligence Techniques
TaschenbuchPrint on DemandThe purpose of 'Artificial Intelligence Techniques: A Comprehensive Cata logue' is to promote int...
Automated Deduction - CADE-12
TaschenbuchPrint on DemandThis volume contains the reviewed papers presented at the 12th International Conference on Automa...
Catalogue of Artificial Intelligence Techniques
TaschenbuchPrint on DemandThe purpose of the Catalogue of Artificial Intelligence Techniques is to promote interaction betw...
- 1