Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    On metric spaces arising during formalization of recognition and classification problems. Part 1: Properties of compactness


    Contributors:


    Publication date :

    2016-01-01


    Size :

    11 pages



    Type of media :

    Article (Journal)


    Type of material :

    Print


    Language :

    English


    Classification :

    DDC:    006.4




    TR2MTL: LLM based framework for Metric Temporal Logic Formalization of Traffic Rules

    Manas, Kumar / Zwicklbauer, Stefan / Paschke, Adrian | IEEE | 2024


    MEASURE OF NON-COMPACTNESS IN THE LORENTZ SPACES

    N. A. Erzakova | DOAJ | 2016

    Free access

    Formalization of solving the thermoelasticity problems for aircraft structures

    Kretov, A. S. / Zhijin, Wang | Online Contents | 2012


    Formalization of solving the thermoelasticity problems for aircraft structures

    Kretov, A. S. / Zhijin, Wang | Springer Verlag | 2012