Mein Konto
Erweiterte Suche
Categories

Grid   List

  1. Automatische Synthese rekursiver Programme als Beweisverfahren
    Automatische Synthese rekursiver Programme als Beweisverfahren
    Susanne Biundo
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    BOD - 2 Tage

    In diesem Buch wird ein Verfahren vorgestellt, mit demInduktionsbeweise vonExistenzaussagen autom...

    54,99 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. KI 2004: Advances in Artificial Intelligence
    KI 2004: Advances in Artificial Intelligence
    Susanne Biundo
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

    Invited Talks.- Automated Reasoning Tools for Molecular Biology.- ?mega: Computer Supported Mathe...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Recent Advances in AI Planning
    Recent Advances in AI Planning
    Susanne Biundo
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

    Planning as Model Checking.- Conformant Planning via Model Checking.- Strong Cyclic Planning Revi...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Companion Technology
    Companion Technology
    Andreas Wendemuth
    Springer
    Taschenbuch
    BOD - 2 Tage

    Deals with the systematic and interdisciplinary study of cognitive abilities and their implementa...

    106,99 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Companion Technology
    Companion Technology
    Andreas Wendemuth
    Springer
    Buch
    BOD - 7 Tage

    Deals with the systematic and interdisciplinary study of cognitive abilities and their implementa...

    109,05 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1