|
|
by Ognjanović, Zoran, Rašković, Miodrag, Marković, Zoran
Published 2016
Table of Contents:
“... -- Decidability -- Heuristic Procedure for Satisfiability Checking -- Qualitative Probabilities -- Probability...”Published 2016
Springer International Publishing