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