Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Symbolic Geometry Software and Proofs


    Beteiligte:
    Todd, P. (Autor:in) / Lyublinskaya, I. (Autor:in) / Ryzhik, V. (Autor:in)


    Erscheinungsdatum :

    01.01.2010


    Format / Umfang :

    9 pages



    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Print


    Sprache :

    Englisch


    Klassifikation :

    DDC:    372.7



    Autocoding control software with proofs I: Annotation translation

    Jobredeaux, Romain / Wang, Timothy E. / Feron, Eric M. | IEEE | 2011


    Autocoding control software with proofs I: Annotation translation

    Feron, Eric / Jobredeaux, Romain / Wang, Tim | IEEE | 2011

    Freier Zugriff

    Uncorrected Proofs

    Ray Katz / Katz, Ray | OERSI | 2022

    Freier Zugriff

    Geometry-Based Symbolic Approximation for Fast Sequence Matching on Manifolds

    Anirudh, R. / Turaga, P. | British Library Online Contents | 2016


    AUTOSAR proofs to be THE automotive software platform for intelligent mobility

    Scharnhorst, T. / Fürst, S. / Rathgeber, S. et al. | British Library Conference Proceedings | 2017