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


    Software Safety Analysis: Inductive Methods vs. Deductive Methods

    Guthrie, V. / Schoolcraft, S. / Parikh, P. et al. | British Library Conference Proceedings | 2000