Preskočiť na obsah
Košík:
0
záznamov
(Plný)
Prihlásiť
Jazyk
Anglický
Slovenský
Katalóg
Katalóg monografií
Katalóg článkov
Katalóg voľných diel
Katalóg obchodne nedostupných diel
Všetko
Názov
Autor
Predmet
Signatúra
ISBN/ISSN
Hľadať
Pokročilé
Preklad rekurzívnych špecifiká...
Vytvoriť citáciu
Vytlačiť
Exportovať záznam
Export to MARC
Export to BibTeX
Export to Jednoduchý textový výpis
Export to ISBD (text)
Export to Citácia ISO 690 (HTML)
Export to Citácia ISO 690 (.doc)
Pridať do košíka
Odobrať z košíka
Trvalý odkaz
Preklad rekurzívnych špecifikácií do špecifikácií logiky 1. rádu
Podrobná bibliografia
Hlavný autor:
Molnár, Sviatoslav
(Autor)
Médium:
Článok
Jazyk:
slovenčina
Predmet:
špecifikácia rekurzívna
články z novín a časopisov
Pozri predplatné
Predplatné
Kliknite na „Pozri predplatné“.
Exempláre
Popis
Podobné exempláre
UNIMARC/MARC
Podobné exempláre
Porovnanie schopnosti zabúdania vo vybraných metódach rekurzívnej identifikácie
Autor: Holička, V., a ďalší
K špecifikácii a poznaniu množín
Autor: Cmorej, Pavel, 1937-2025
Automatická syntéza programov z neprocedurálnych špecifikácií
Autor: Molnár, Ľudovít, 1940-, a ďalší
A Recursive Decomposition Property of Sets of Finite Sums of d-Tuples of integers
Autor: Pecht, Josef
Východiská pri špecifikácii otázok o migrácii
Autor: Chajdiak, Jozef, 1952-2019