Keywords: deductive verification, theorem proving, random forestsPublished in RUP: 05.10.2023; Views: 792; Downloads: 10 Full text (426,81 KB)