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é
Logic on finite structures and...
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
Logic on finite structures and logic programming
Podrobná bibliografia
Hlavný autor:
Rongemont, Michel de
(Autor)
Médium:
Článok
Jazyk:
angličtina
Fyzický popis:
Res. angl., rus., lit. 14 zázn. v angl.
Predmet:
logické programovanie
logika
Prolog (programovací jazyk)
č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
From logic to logic programming. Theroem proving techniques and P-functions. /Od logiky k logickému programovaniu
Autor: Fiby, Rudolf, 1946-2014, a ďalší
Computing with logic. Logic programming with Prolog
Autor: Móri, Imrich, a ďalší
Logic programming 86
Autor: Blaško, Roman, a ďalší
Several formal systems of the logic programming
Autor: Mints, Grigorii Efroimovich, a ďalší
Logic programming for parallel computers
Autor: Brezány, Peter, 1948-, a ďalší
Predchádzajúci
Ďalší
Podobné exempláre
From logic to logic programming. Theroem proving techniques and P-functions. /Od logiky k logickému programovaniu
Autor: Fiby, Rudolf, 1946-2014, a ďalší
Computing with logic. Logic programming with Prolog
Autor: Móri, Imrich, a ďalší
Logic programming 86
Autor: Blaško, Roman, a ďalší
Several formal systems of the logic programming
Autor: Mints, Grigorii Efroimovich, a ďalší
Logic programming for parallel computers
Autor: Brezány, Peter, 1948-, a ďalší