Ključne besede: deductive verification, theorem proving, random forestsObjavljeno v RUP: 05.10.2023; Ogledov: 651; Prenosov: 10 Celotno besedilo (426,81 KB)