Fiby, Rudolf, 1946-2014
Rudolf Fiby
VIAF ID: 3861156565694023500006 ( Personal )
Permalink: http://viaf.org/viaf/3861156565694023500006
Preferred Forms
-
- 100 0 _ ‡a Rudolf Fiby
4xx's: Alternate Name Forms (2)
Works
Title | Sources |
---|---|
Common LISP programming for artificial intelligence | |
Dnešný človek a Kristovo kráľovstvo poznámky z prednášok a duchovných cvičení | |
From logic to logic programming. Theroem proving techniques and P-functions. /Od logiky k logickému programovaniu | |
Functional programming system FPS ; R. Fiby, J. Hulman, S. Molnar, I. Weisl | |
Funkčné programovanie jazykov a počítačová architektúra | |
Funkčný programovací systém FPS | |
Fuzzy Prolog Based on WAM ; Rudolf Fiby, Milan Fico, Sviatoslav Molnár, Imrich Weigl | |
Fuzzy Prolog založený na WAM | |
The logical basis for computer programming. Vol. 2: Deductive Systems | |
Logické základy pre počítačové programovanie. Zväzok 2: Deduktívne systémy | |
Metódy zhora-dole a zdola-hore na vytvorenie logických programov | |
Pomoc v sociálnej a morálnej biede | |
Proceedings of the ninth international joint conference on artificial intelligence ; R. Fiby, R. Halada, P. Hatala, L. Továrek | |
Programming of future generation computers 2 | |
Programovanie budúcej generácie počítačov 2 druhého francúzsko-japonského sympózia, Cannes 1987.] | |
Skúsenosť | |
Sme tu pre robotníkov a zamestnancov | |
Štandartný programovací LISP pre umelú inteligenciu | |
Teoréma skúšobnej techniky a P-funkcií | |
Top-down versus Bottom-up Execution of Logic Programs | |
Účinné rezolvenčné dokazovanie teorém v propozicionálnej logike | |
Veľký misionár Vendelín Javorka | |
Výsledky jednania deviatej medzinárodnej spoločnej konferencie o umelej inteligencii |