An overview is presented of the Automated Reasoning CICT Program/Intelligent Systems project. Automated reasoning technology will help NASA missions by increasing the amount of science achieved, ensuring safety of spacecraft and surface explorers, and by enabling more robust mission operations.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Automated Reasoning CICT Program/Intelligent Systems Project ATAC-PRT Review


    Beteiligte:
    Morris, Robert (Autor:in) / Smith, Ben (Autor:in)

    Erscheinungsdatum :

    20.05.2003


    Medientyp :

    Sonstige


    Format :

    Keine Angabe


    Sprache :

    Englisch





    The CICT Earth Science Systems Analysis Model

    Pell, Barney / Coughlan, Joe / Biegel, Bryan et al. | NTRS | 2004



    ATAC Autocuer Modeling Analysis

    R. L. Frey / C. D. Nealy / L. M. Rubin et al. | NTIS | 1981


    ATAC and GDI in a Small Two-Stroke Engine

    Gentili, R. / Frigo, S. | SAE Technical Papers | 1999