Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Space optimization in deductive databases



    Erscheinungsdatum :

    1991


    Format / Umfang :

    36 S.


    Anmerkungen:

    Langzeitarchivierung durch Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek


    Medientyp :

    Buch


    Format :

    Print


    Sprache :

    Englisch




    Deductive Verification of Railway Operations

    Kamburjan, Eduard / Hähnle, Reiner | British Library Conference Proceedings | 2017


    Towards a Deductive Object-Oriented System

    Yoon, S.-C. / Ku, C. S. | British Library Online Contents | 1998


    Automated Deductive Verification of Parallel Systems

    Saidi, H. / United States; National Aeronautics and Space Administration | British Library Conference Proceedings | 1997


    A Deductive Model for Multi-lane Vehicular Traffic

    Chen, Minjie / Schwant, Hartmut / Barwolff, Gunter | IEEE | 2015