Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Uncertainty-valued horn clauses


    Beteiligte:
    Hall, Victoria (Autor:in)


    Erscheinungsdatum :

    1994


    Format / Umfang :

    30 S


    Anmerkungen:

    30 cm
    Unterschiede zwischen dem gedruckten Dokument und der elektronischen Ressource können nicht ausgeschlossen werden
    Auch als elektronische Ressource vorh.
    Langzeitarchivierung durch Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek


    Medientyp :

    Report


    Format :

    Print


    Sprache :

    Englisch



    Uncertainty-valued horn clauses

    Hall, Victoria | TIBKAT | 1994

    Freier Zugriff

    Solving Constrained Horn Clauses as C Programs with CHC2C

    Bajczi, Levente / Molnár, Vince | Springer Verlag | 2024


    A sharp threshold for the phase transition of a restricted Satisfiability problem for Horn clauses

    Dunne, P. E. / Bench-Capon, T. J. M. | British Library Online Contents | 2001


    Aerospace Contract Clauses

    SAE Technical Papers | 2006


    Aerospace Contract Clauses

    SAE Technical Papers | 2017