×

Found 6,119 Documents (Results 1–100)

Fuzzy complex ranking method and its use for multi-criteria comparison of alternatives. (English. Ukrainian original) Zbl 1505.91152

Cybern. Syst. Anal. 58, No. 3, 392-398 (2022); translation from Kibern. Sist. Anal. 58, No. 3, 83-90 (2022).
MSC:  91B06 90B50 91B86
PDFBibTeX XMLCite
Full Text: DOI

Automated and sound synthesis of Lyapunov functions with SMT solvers. (English) Zbl 1507.68335

Biere, Armin (ed.) et al., Tools and algorithms for the construction and analysis of systems. 26th international conference, TACAS 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12078, 97-114 (2020).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Justification logic. Reasoning with reasons. (English) Zbl 1479.03001

Cambridge Tracts in Mathematics 216. Cambridge: Cambridge University Press (ISBN 978-1-108-42491-2/hbk; 978-1-108-34803-4/ebook). xxi, 247 p. (2019).
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

Biographic Reference

all top 3

Software