Synonyms were used for: Theorem
Search without synonyms: keywords:(Theorem proving)

1–16 of 16 hits
|

    Logical Proving in PVS

    Aaron Dutle | NTRS
    Keywords: Interactive Theorem Proving

    Decentralized Framework to Support UAS Merging and Spacing Operations in Urban Canyons

    S. Balachandran / C. Manderino / C. Muñoz et al. | NTIS | 2020
    Keywords: Theorem proving

    Interpolations with a Spline Function

    S. W. Kahng | NTIS | 1968
    Keywords: Theorem proving

    A Decentralized Framework to Support UAS Merging and Spacing Operations in Urban Canyons

    Swee Balachandran / Christopher Manderino / César Muñoz et al. | NTRS
    Keywords: Theorem Proving

    Learning inverse kinematics: Reduced sampling through decomposition into virtual robots

    Free access
    Ruiz de Angulo, Vicente / Torras, Carme | BASE | 2008
    Keywords: Automatic theorem proving

    A Problem in Optimal Search and Stop

    S. M. Ross | NTIS | 1968
    Keywords: Theorem proving

    Romberg Integration

    M. J. Omalley | NTIS | 1968
    Keywords: Theorem proving

    Estimation of Percentage Points and the Construction of Tolerance Limits

    A. H. Feiveson / F. M. Speed | NTIS | 1965
    Keywords: Theorem proving

    On the Shape Preserving Expansion and Contraction of Objects in E Sup 3

    P. D. Argentiero | NTIS | 1969
    Keywords: Theorem proving

    Learning in complex environments with feature-based categorization

    Free access
    Agostini, Alejandro / Celaya, Enric | BASE | 2005
    Keywords: Automatic theorem proving

    Learning model-free motor control

    Free access
    Agostini, Alejandro / Celaya, Enric | BASE | 2004
    Keywords: Automatic theorem proving

    Applying categorization to improve learning in complex environments

    Free access
    Agostini, Alejandro / Celaya, Enric | BASE | 2004
    Keywords: Automatic theorem proving

    Feasible control of complex systems using automatic learning

    Free access
    Agostini, Alejandro / Celaya, Enric | BASE | 2005
    Keywords: Automatic theorem proving

    Flight Guidance System Requirements Specification

    S. P. Miller / A. C. Tribble / T. M. Carlson et al. | NTIS | 2003
    Keywords: Theorem proving

    A formal approach to railway signalling

    Cullyer, W.J. / Wong, W. | Tema Archive | 1990
    Keywords: THEOREM PROVING

    Fuzzy decision based modeling of rheostatic brake system for autonomous land vehicles

    Free access
    YILDIRIM, ALPER | BASE | 2022
    Keywords: Theorem Proving and Logical Reasoning