Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Modelltheorie in der Kripke-Semantik


    Beteiligte:
    Osswald, Horst (Autor:in)

    Erscheinungsdatum :

    1968


    Format / Umfang :

    21 S


    Medientyp :

    Hochschulschrift


    Format :

    Print


    Sprache :

    Deutsch



    Modelltheorie als Einstellhilfe fuer die Spritzgiesssteuerung

    Menges,G. / Thienel,P. / Bangert,H. et al. | Kraftfahrwesen | 1978


    Der Begriff der Rationalität in der Modelltheorie

    Heuser, Hermann F. | TIBKAT | 1969


    Lähmende Semantik

    Online Contents | 1998


    Vehicle path forecasting method based on generalized possibility Kripke model

    LI YONGMING / SU YIFAN / HE QING et al. | Europäisches Patentamt | 2024

    Freier Zugriff

    Kripke Modelling and Model Checking of a Multiple UAV System Monitoring Road Network

    Sirigineedi, Gopinadh / Tsourdos, Antonios / White, Brian et al. | AIAA | 2010