Zobrazuji výsledky
1 - 20
z
64
pro vyhledává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
Signatura:
NOT
A - Obecná díla
AND
Q - Věda
Žánr:
NOT
firemní katalogy
NOT
encyklopedie
Oblast:
NOT
Afrika východní
Doporučená témata:
NOT
analytická chemie
AND
umělá inteligence
AND
matematická logika
Zrušit filtry
Zobrazit filtry (8)
Signatura:
NOT
A - Obecná díla
AND
Q - Věda
Žánr:
NOT
firemní katalogy
NOT
encyklopedie
Oblast:
NOT
Afrika východní
Doporučená témata:
NOT
analytická chemie
AND
umělá inteligence
AND
matematická logika
Hlavní strana
Vyhledávání:
Doporučená témata ve výsledcích tohoto hledání:
Doporučená témata ve výsledcích tohoto hledání:
matematická logika
umělá inteligence
logické programování
12
programování
10
učící se systémy
9
formální jazyky
8
zpracování přirozených jazyků
8
více ...
algoritmy
7
formální gramatiky
7
informatika
6
matematické modely
4
reprezentace znalostí
4
software
4
svazy
4
informační systémy
3
teorie rozhodování
3
Gödelova teorie
2
automatizované řešení problémů
2
databázové systémy relační
2
filozofie vědy
2
kognitivní procesy
2
matematická lingvistika
2
počítače
2
predikátová logika
2
relační algebra
2
robotika
2
simulace a modelování
2
softwarové inženýrství
2
symbolické výpočty
2
symetrie
2
méně ...
Zobrazuji výsledky
1 - 20
z
64
pro vyhledávání '
'
, doba hledání: 0,05 s.
Upřesnit hledání
Seřadit podle
Relevance
Data sestupně
Data vzestupně
Signatury
Autora
Názvu
Fifty years of fuzzy logic and its applications
Vydáno:
2015
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003 : proceedings
Vydáno:
2003
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Tractable reasoning in artificial intelligence
Autor
Cadoli, Marco
Vydáno:
1995
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Logic for programming, artificial intelligence, and reasoning : 10th international conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003 : proceedings
Vydáno:
2003
Umístění:
Načítá se...
Rukopis
Načítá se...
Uloženo v:
Logics in artificial intelligence : 9th European conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004 : proceedings
Vydáno:
2004
Umístění:
Načítá se...
Získat plný text
Kniha
Uloženo v:
Advances in artificial intelligence : KI-96. 20th Annual German Conference on Artificial Intelligence, Dresden, Germany, September 17-19, 1996. Proceedings
Vydáno:
1996
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Logics in artificial intelligence : European workshop, JELIA '96, Évora, Portugal, September 30 - October 3, 1996. Proceedings
Vydáno:
1996
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Qualitative and quantitative practical reasoning : First international joint conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR '97, Bad Honnef, Germany,...
Vydáno:
1997
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Automated reasoning with analytic tableaux and related methods : International conference, TABLEAUX '97, Pont-a-Mousson, France, May 13-16, 1997. Proceedings
Vydáno:
1997
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Logic for programming, artificial intelligence, and reasoning : 11th international conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, proceedings
Vydáno:
2005
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Knowledge representation and reasoning
Autor
Brachman, Ronald J., 1949-
Vydáno:
2004
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Automated reasoning with analytic tableaux and related methods : International conference, Tableaux '98, Oisterwijk, the Netherlands, May 5-8, 1998. Proceedings
Vydáno:
1998
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Logické základy umělé inteligence.
Autor
Lukasová, Alena, 1936-
Vydáno:
1995
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
The automation of reasoning with incomplete information : From semantic foundations to efficient computation
Autor
Schaub, Torsten
Vydáno:
1997
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Case-based reasoning technology : From foundations to applications
Vydáno:
1998
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Logics in artificial intelligence : European workshop, JELIA '98, Dagstuhl, Germany, October 12-15, 1998 : proceedings
Vydáno:
1998
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Frontiers of combining systems : 4th international workshop, FroCoS 2002, Santa Margherita Ligure, Italy, April 8-10, 2002 : proceedings
Vydáno:
2002
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Theory reasoning in connection calculi
Autor
Baumgartner, Peter
Vydáno:
1998
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Logické základy umělé inteligence.
Autor
Lukasová, Alena, 1936-
Vydáno:
1999
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Automated reasoning with analytic tableaux and related methods : International conference, Tableaux '99, Saratoga Springs, NY, USA, June 7-11, 1999. Proceedings
Vydáno:
1999
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
1
2
3
4
Další »
[4]
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Zpět
Upřesnit hledání
Sbírka
64
NTK
1
VŠCHT
Médium
60
Kniha
3
Rukopis
1
E-kniha
Signatura
Q - Věda
Autor
6
Voronkov, Andrei, 1959-
3
Swart, H. C. M. de (Henricus Cornelius Maria), 1944-
2
Alferes, José Júlio, 1966-
2
European Cooperation in the Field of Scientific and Technical Research (organizace). COST Action 274 TARSKI (projekt)
2
Ganter, Bernhard, 1949-
2
Hofstadter, Douglas R., 1945-
více ...
2
Lukasová, Alena, 1936-
2
Pearce, David A., 1952-
2
Pereira, Luís Moniz
2
Sakakibara, Yasubumi
1
Adriaans, P.W., 1955-
1
Armando, Alessandro
1
Baader, Franz, 1959-
1
Baaz, Matthias, 1960-
1
Baumgartner, Peter
1
Beckert, Bernhard
1
Brachman, Ronald J., 1949-
1
Cadoli, Marco
1
Caferra, Ricardo
1
Carrasco, Rafael C.
1
Cerro, Luís Farinas del
1
Cialdea Mayer, Marta, 1956-
1
Dershowitz, Nachum, 1951-
1
Dey, Anind K., 1970-
1
Dix, Jürgen, 1961-
1
Downey, R. G. (Rod G.), 1957-
1
Dyckhoff, Roy, 1948-
1
Egly, Uwe, 1960-
1
Eklund, Peter W., 1962-
1
Embley, David W.
Zobrazit vše ...
méně ...
Jazyk
60
angličtina
4
čeština
1
němčina
Žánr
33
sborníky konferencí
9
sborníky
4
monografie
2
vysokoškolská skripta
1
elektronicke knihy
1
kolektivní monografie
Rok vydání
Od:
do:
PSH
64
matematická logika
64
umělá inteligence
12
logické programování
10
programování
9
učící se systémy
8
formální jazyky
více ...
8
zpracování přirozených jazyků
7
formální gramatiky
6
informatika
4
matematické modely
4
reprezentace znalostí
4
software
4
svazy
3
informační systémy
3
teorie rozhodování
2
Gödelova teorie
2
automatizované řešení problémů
2
databázové systémy relační
2
filozofie vědy
2
kognitivní procesy
2
matematická lingvistika
2
počítače
2
relační algebra
2
robotika
2
simulace a modelování
2
softwarové inženýrství
2
symbolické výpočty
2
symetrie
2
teorie důkazů
2
teorie poznání
Zobrazit vše ...
méně ...
VŠCHT ústavy
1
Ústav matematiky, informatiky a kybernetiky - budova C
×
Načítá se...