Uncertainty-valued horn clauses
[Elektronische Ressource]
1994
Online-Ressource (40 S., 19,6 MB)
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
Report
Electronic Resource
English
Uncertainty-valued horn clauses
TIBKAT | 1994
|Solving Constrained Horn Clauses as C Programs with CHC2C
Springer Verlag | 2024
|A sharp threshold for the phase transition of a restricted Satisfiability problem for Horn clauses
British Library Online Contents | 2001
|SAE Technical Papers | 2006
SAE Technical Papers | 2017