Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Recursion, Induction, and Iteration


    Contributors:

    Conference:

    28th International Conference on Automated Deduction ; 2021 ; Virtual, US


    Type of media :

    Miscellaneous


    Type of material :

    No indication


    Language :

    English




    Recursion, Induction, and Iteration

    J. T. Slagel | NTIS | 2021


    Sequential Optimal Attitude Recursion Filter

    Christian, J A | Online Contents | 2010


    Sequential Optimal Attitude Recursion Filter

    Christian, John A. / Lightsey, E. Glenn | AIAA | 2010


    Iteration

    Dixon, John C. | Wiley | 2009


    Expert iteration

    Anthony, Thomas William | BASE | 2021

    Free access