Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    On metric spaces arising during formalization of problems of recognition and classification. Part 2: Density properties


    Contributors:


    Publication date :

    2016-01-01


    Size :

    14 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


    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


    DATA FLOW FORMALIZATION

    Bouabana-Tebibel, T. / Institute for Systems and Technologies of Information, Control and Communication | British Library Conference Proceedings | 2006