Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Uncertainty-valued horn clauses


    Contributors:


    Publication date :

    1994


    Size :

    30 S


    Remarks:

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


    Type of media :

    Report


    Type of material :

    Print


    Language :

    English



    Uncertainty-valued horn clauses

    Hall, Victoria | TIBKAT | 1994

    Free access

    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