Zobrazuji výsledky
1 - 20
z
155
pro vyhledávání '
"programování"
'
Přeskočit na obsah
Toggle navigation
English
Odhlásit
Jednotné přihlášení NTK
Vše
Název
Autor
Předmětové heslo
LCC signatura
Stará signatura
ISBN/ISSN
Tag
Systémové číslo
Hledat
Pokročilé vyhledávání
Zrušit filtry
PSH:
logické programování
Zrušit filtry
Zobrazit filtry (1)
PSH:
logické programování
Hlavní strana
Vyhledávání: "programování"
Doporučená témata ve výsledcích tohoto hledání:
Doporučená témata ve výsledcích tohoto hledání:
logické programování
155
umělá inteligence
57
matematická logika
24
softwarové inženýrství
17
agenti
13
vyhledávání informací
10
logické funkce
8
více ...
programování
8
průmyslová automatizace
8
matematické programování
7
programovací jazyky
7
algoritmizace
6
databázové systémy
6
kybernetika
5
formální jazyky
4
funkcionální programování
4
informatika
4
počítačová věda
4
programovací jazyky neprocedurální
4
regulace
4
znalostní systémy
4
Prolog
3
fuzzy logika
3
logické obvody
3
matematická lingvistika
3
podnik
3
robotika
3
teorie dat
3
zpracování dat
3
expertní systémy
2
méně ...
Zobrazuji výsledky
1 - 20
z
155
pro vyhledávání '
"programování"
'
, doba hledání: 0,13 s.
Upřesnit hledání
Seřadit podle
Relevance
Data sestupně
Data vzestupně
Signatury
Autora
Názvu
Logické
programování
I : programovací jazyk Prolog
Autor
Jirků, Petr, 1942-2017
Vydáno:
1995
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Logické
programování
a Prolog
Autor
Hynek, Josef, 1965-
Vydáno:
2003
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Principles of declarative programming : 10th International Symposium, PLILP '98, held jointly with the 6th International Conference, ALP '98, Pisa, Italy, September 16-18, 1998. Pr...
Vydáno:
1998
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Functional and logic programming : 6th international symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002 : proceedings
Vydáno:
2002
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Algebraic and logic programming : 4th international conference, ALP '94, Madrid, Spain, September 14-16, 1994 : proceedings
Vydáno:
1994
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Logic based program synthesis and transformation : 13th international symposium, LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003 : revised selected papers
Vydáno:
2004
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Algebraic and logic programming : 5th international conference, ALP '96, Aachen, Germany, September 25-27, 1996. Proceedings
Vydáno:
1996
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Algebraic and logic programming : 6th international joint conference, ALP '97 - HOA '97, Southampton, UK, September 3-5, 1997 : proceedings
Vydáno:
1997
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
The little typer
Autor
Friedman, Daniel P.
Vydáno:
2018
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Extensions of logic programming : 4th international workshop, ELP '93, St Andrews, U.K., March 29-April 1, 1993 : proceedings
Vydáno:
1994
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Theory and practice of logic programming
Vydáno:
2001
Umístění:
Načítá se...
Časopis
Načítá se...
Uloženo v:
Computational logic : logic programming and beyond : essays in honour of Robert A. Kowalski.
Vydáno:
2002
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Computational logic : logic programming and beyond : essays in honour of Robert A. Kowalski.
Vydáno:
2002
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Programming with higher-order logic
Autor
Miller, Dale (Dale A.), 1956-
Vydáno:
2012
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Functional and logic programming : 7th international symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004 : proceedings
Vydáno:
2004
Umístění:
Načítá se...
Získat plný text
Kniha
Uloženo v:
Functional and logic programming : 8th international symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006 : proceedings
Vydáno:
2006
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Reasoning with logic programming
Autor
Alferes, José Júlio, 1966-
Vydáno:
1996
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Meta-logics and logic programming
Vydáno:
1995
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Foundations of inductive logic programming
Autor
Nienhuys-Cheng, Shan-Hwei
Vydáno:
1997
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Inductive logic programming : 9th international workshop, ILP-99 Bled, Slovenia, June 24-27, 1999. Proceedings
Vydáno:
1999
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
1
2
3
4
5
6
7
8
Další »
[8]
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Zpět
Upřesnit hledání
Sbírka
155
NTK
Médium
135
Kniha
10
Článek
5
Rukopis
4
E-kniha
1
Časopis
Signatura
125
Q - Věda
5
T - Technologie
2
P - Jazyk a literatura
Autor
8
Šmejkal, Ladislav, 1945-
6
Dix, Jürgen, 1961-
5
Kovář, Josef
5
Pereira, Luís Moniz
4
Prokopová, Zuzana
4
SpringerLink (online služba)
více ...
4
Univerzita Karlova. Katedra teoretické informatiky a matematické logiky
3
Apt, Krzysztof R., 1949-
3
Dorigo, Marco, 1961-
3
Dyckhoff, Roy, 1948-
3
Leite, João, 1970-
3
Meinke, Karl
3
Muggleton, Stephen
3
Przymusinski, Teodor C.
3
Rodríguez-Artalejo, Mario
3
Voronkov, Andrei, 1959-
2
Alferes, José Júlio, 1966-
2
Baldoni, Matteo, 1968-
2
Baral, Chitta, 1966-
2
Barták, Roman, 1970 červenec 3.-
2
Bordini, Rafael H.
2
Bruynooghe, Maurice
2
Cussens, James
2
Džeroski, Sašo
2
Etalle, Sandro
2
Furbach, Ulrich, 1948-
2
Hanus, Michael, 1959-
2
Hnich, Brahim
2
Hrůza, Jan, 1973-
2
Kakas, Antonis C.
Zobrazit vše ...
méně ...
Jazyk
140
angličtina
14
čeština
1
němčina
Žánr
53
sborníky konferencí
28
sborníky
10
články
6
elektronicke knihy
5
monografie
4
disertace
více ...
2
autoreferáty
1
doktorské disertace
1
přehledy
1
příručky
1
učebnice
1
učebnice vysokých škol
1
časopisy
Zobrazit vše ...
méně ...
Rok vydání
Od:
do:
PSH
logické programování
57
umělá inteligence
24
matematická logika
17
softwarové inženýrství
13
agenti
10
vyhledávání informací
více ...
8
logické funkce
8
programování
8
průmyslová automatizace
7
matematické programování
7
programovací jazyky
6
algoritmizace
6
databázové systémy
5
kybernetika
4
formální jazyky
4
funkcionální programování
4
informatika
4
programovací jazyky neprocedurální
4
regulace
4
znalostní systémy
3
Prolog
3
fuzzy logika
3
logické obvody
3
matematická lingvistika
3
podnik
3
robotika
3
teorie dat
3
zpracování dat
2
expertní systémy
2
internet
Zobrazit vše ...
méně ...
×
Načítá se...