alan bundy

Grid   List

  1. Rippling: Meta-Level Guidance for Mathematical Reasoning
    Rippling: Meta-Level Guidance for Mathematical Reasoning
    Alan Bundy
    Cambridge University Press
    Ebook
    Sofort lieferbar
    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 ori...
    94,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  2. Artificial Intelligence Techniques
    Artificial Intelligence Techniques
    Alan Bundy
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    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 techni...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  3. Catalogue of Artificial Intelligence Techniques
    Catalogue of Artificial Intelligence Techniques
    Alan Bundy
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    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 acti...
    96,29 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  4. Catalogue of Artificial Intelligence Tools
    Catalogue of Artificial Intelligence Tools
    Alan Bundy
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    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 poi...
    82,38 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  5. Artificial Intelligence Techniques
    Artificial Intelligence Techniques
    Alan Bundy
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15
    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 techniq...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  6. Rippling
    Rippling
    Alan Bundy
    Cambridge University Press
    Buch
    Bezug 11-15
    A unique, systematic and comprehensive introduction to rippling and to the wider subject of automated inductive theorem proving.
    179,41 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  7. Automated Deduction - CADE-12
    Automated Deduction - CADE-12
    Alan Bundy
    Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15
    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 sel...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  8. Catalogue of Artificial Intelligence Techniques
    Catalogue of Artificial Intelligence Techniques
    Alan Bundy
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15
    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 acti...
    106,99 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  1. 1
<%--for search--%>