Preklad rekurzívnych špecifikácií do špecifikácií logiky 1. rádu
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | Slovak |
| PhysicalDescription: | Res. rus., angl. |
| Subjects: |
Similar Items
Porovnanie schopnosti zabúdania vo vybraných metódach rekurzívnej identifikácie
by: Holička, V., et al.
by: Holička, V., et al.
K špecifikácii a poznaniu množín
by: Cmorej, Pavel, 1937-2025
by: Cmorej, Pavel, 1937-2025
Automatická syntéza programov z neprocedurálnych špecifikácií
by: Molnár, Ľudovít, 1940-, et al.
by: Molnár, Ľudovít, 1940-, et al.
A Recursive Decomposition Property of Sets of Finite Sums of d-Tuples of integers
by: Pecht, Josef
by: Pecht, Josef
