Preview

User

Not a user? Register with this site Forgot your password?

Herald of the Kazakh-British Technical University

Advanced search
Fullscreen

For citations:

Beishekeyev A., Umarov T. FORMAL VERIFICATION OF DECISION TREE FAIRNESS AND ROBUSTNESS VIA SMT SOLVER. Herald of the Kazakh-British Technical University. 2026;23(2):312-325. https://doi.org/10.55452/1998-6688-2026-23-2-312-325

Views PDF (Eng): 19

JATS XML


Creative Commons License
This work is licensed under a Creative Commons Attribution 4.0 License.


ISSN 1998-6688 (Print)
ISSN 2959-8109 (Online)

Head of the editorial department: Skuratova Irina
E-mail: i.skuratova@kbtu.kz
Organization: JSC "Kazakh-British Technical University"

supported by NEICON (Elpub lab)