Access

    Download


    Export, share and cite



    Title :

    Uncertainty-valued horn clauses


    Contributors:


    Edition :

    [Elektronische Ressource]


    Publication date :

    1994


    Size :

    Online-Ressource (40 S., 19,6 MB)


    Remarks:

    graph. Darst.
    Unterschiede zwischen dem gedruckten Dokument und der elektronischen Ressource können nicht ausgeschlossen werden
    Auch als gedr. Ausg. vorhanden
    Digital preservation by Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek


    Type of media :

    Report


    Type of material :

    Electronic Resource


    Language :

    English



    Uncertainty-valued horn clauses

    Hall, Victoria | TIBKAT | 1994


    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