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