Zobrazeno 1 - 10 of 19 pro vyhledávání: '"Gallaire, Hervé"'
7
Akademický článek
Logic and Databases: A Deductive Approach.
Autor: Gallaire, Hervé1, Minker, Jack2, Nicolas, Jean-Marie3
Publikováno v: ACM Computing Surveys. Jun84, Vol. 16 Issue 2, p152-185. 34p.
Zobrazit plný text záznamu
8
Akademický článek
Decomposition of linear sequential machines. II.
Autor: Gallaire, Hervé
Publikováno v: Mathematical Systems Theory; Jun1970, Vol. 4 Issue 2, p168-190, 23p
Zobrazit plný text záznamu
9
Akademický článek
Decomposition of linear sequential machines.
Autor: Gallaire, Hervé, Harrison, Michael
Publikováno v: Mathematical Systems Theory; Sep1969, Vol. 3 Issue 3, p246-287, 42p
Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání

Omezení vyhledávání
Plný text Recenzováno Digitální knihovna AV ČR
Zdroje