Uncertainty-valued horn clauses
1994
30 S
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
Report
English
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