Alan Bundy – författare
Visar alla böcker från författaren Alan Bundy. Handla med fri frakt och snabb leverans.
7 produkter
Rippling: Meta-Level Guidance for Mathematical Reasoning
Av Alan Bundy, David Basin m. fl.
Inbunden, 2005
1905 kr
Lägg i varukorg
Rippling is a radically new technique for the automation of mathematical reasoning. It is widely applicable whenever a goal is to be proved from one or more syntactically similar givens. It was originally developed for inductive proofs, where the goal was the induction conclusion and the givens …
Automated Deduction — CADE-12
12th International Conference on Automated Deduction Nancy, France, June 26–July 1, 1994 Proceedings
Av Alan Bundy
Häftad, 1994
568 kr
Lägg i varukorg
This volume contains the reviewed papers presented at the 12th International Conference on Automated Deduction (CADE-12) held at Nancy, France in June/July 1994.The 67 papers presented were selected from 177 submissions and document many of the most important research results in automated deduction …
Artificial Intelligence Techniques
A Comprehensive Catalogue
Av Alan Bundy
Häftad, 1996
568 kr
Lägg i varukorg
The purpose of "Artificial Intelligence Techniques: A Comprehensive Cata logue" is to promote interaction between members of the AI community. It does this by announcing the existence of AI techniques, and acting as a pointer into the literature. Thus the AI community has access to a common, …
Artificial Intelligence Techniques
A Comprehensive Catalogue
Av Alan Bundy
E-bok, 2012
734 kr
Lägg i varukorg
The purpose of "Artificial Intelligence Techniques: A Comprehensive Cata logue" is to promote interaction between members of the AI community. It does this by announcing the existence of AI techniques, and acting as a pointer into the literature. Thus the AI community has access to a common, …
Catalogue of Artificial Intelligence Tools
Av Alan Bundy
E-bok, 2012
1209 kr
Lägg i varukorg
The purpose of this catalogue is to promote interaction between members of the AI community. It will do this by announcing the existence of AI techniques and portable software, and acting as 30 pointer into the literature. Thus the AI community will have access to 30 common, extensional definition …
Catalogue of Artificial Intelligence Techniques
Av Alan Bundy
E-bok, 2012
1459 kr
Lägg i varukorg
The purpose of the Catalogue of Artificial Intelligence Techniques is to promote interaction between members of the AI community. It does this by announcing the existence of AI techniques, and acting as a pointer into the literature. Thus the AI community will have access to a common, extensional …
Catalogue of Artificial Intelligence Techniques
Av Alan Bundy, Alan Bundy
Häftad, 2012
1481 kr
Tillfälligt slut
The purpose of the Catalogue of Artificial Intelligence Techniques is to promote interaction between members of the AI community. It does this by announcing the existence of AI techniques, and acting as a pointer into the literature. Thus the AI community will have access to a common, extensional …
