Zobrazuji výsledky
1 - 13
z
13
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
Doporučená témata:
algebra
AND
umělá inteligence
Zrušit filtry
Zobrazit filtry (2)
Doporučená témata:
algebra
AND
umělá inteligence
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í:
algebra
umělá inteligence
vyhledávání v datech
10
informatika
9
matematická logika
9
softwarové inženýrství
8
robotika
6
více ...
matematika
5
diskrétní matematika
3
formální jazyky
3
vyhledávání informací
3
algoritmizace
2
systémy řízení báze dat
2
algebraická logika
1
automatizované řešení problémů
1
infinitezimální počet
1
informační systémy
1
internet
1
matematické modely
1
počítačová algebra
1
strojové učení
1
sémantický web
1
teorie důkazů
1
učící se systémy
1
zpracování dat
1
méně ...
Zobrazuji výsledky
1 - 13
z
13
pro vyhledávání '
'
, doba hledání: 0,08 s.
Upřesnit hledání
Seřadit podle
Relevance
Data sestupně
Data vzestupně
Signatury
Autora
Názvu
Intelligent computer mathematics : 10th international conference, AISC 2010, 17th symposium, Calculemus 2010, and 9th international conference, MKM 2010, Paris, France, July 5-10,...
Vydáno:
2010
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Formal concept analysis : 11th international conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013 : proceedings
Vydáno:
2013
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Formal concept analysis : 10th international conference, ICFCA 2012, Leuven, Belgium, May 7-10, 2012 : proceedings
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Formal Concept Analysis : 9th International Conference, ICFCA 2011, Nicosia, Cyprus, May 2-6, 2011. Proceedings
Vydáno:
2011
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Formal Concept Analysis : 5th International Conference, ICFCA 2007, Clermont-Ferrand, France, February 12-16, 2007. Proceedings
Vydáno:
2007
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
The seventeen provers of the world
Vydáno:
2006
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Formal concept analysis : 4th international conference, ICFCA 2006, Dresden, Germany, February 13-17, 2006 : proceedings
Vydáno:
2006
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Formal Concept Analysis : 7th International Conference, ICFCA 2009 Darmstadt, Germany, May 21-24, 2009 Proceedings
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Towards Mechanized Mathematical Assistants : 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007. Proceedings
Vydáno:
2007
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Formal Concept Analysis : 6th International Conference, ICFCA 2008, Montreal, Canada, February 25-28, 2008. Proceedings
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Formal concept analysis : 8th international conference, ICFCA 2010, Agadir, Morocco, March 15-18, 2010 : proceedings
Vydáno:
2010
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Mathematical knowledge management : 4th Iinternational conference, MKM 2005, Bremen, Germany, July 15-17, 2005 : revised selected papers
Vydáno:
2006
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Formal Concept Analysis : 13th International Conference, ICFCA 2015, Nerja, Spain, June 23-26, 2015, Proceedings
Vydáno:
2015
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Zpět
Upřesnit hledání
Sbírka
13
NTK
Médium
12
E-kniha
1
Kniha
Signatura
1
Q - Věda
Autor
12
SpringerLink (online služba)
1
Autexier, Serge
1
Baixeries, Jaume
1
Calmet, Jacques, 1941-
1
Cellier, Peggy
1
Delahaye, David
více ...
1
Distel, Felix
1
Domenach, Florent
1
Ferré, Sébastien
1
Ganter, Bernhard, 1949-
1
Ignatov, Dmitrij Igorevič, 1983-
1
Ion, Patrick D. F.
1
Jäschke, Robert
1
Kauers, Manuel
1
Kerber, Manfred
1
Kohlhase, Michael, 1964-
1
Kuznetsov, Sergei O
1
Kwuida, Léonard
1
Medina, Raoul
1
Miner, Robert
1
Missaoui, Rokia, 1949-
1
Ob“jedkov, Sergej Aleksandrovič
1
Ojeda Aciego, Manuel, 1967-
1
Poelmans, Jonas
1
Rideau, Laurence
1
Rioboo, Renaud
1
Rudolph, Sebastian
1
Sacarea, Christian, 1970-
1
Schmidt, Jürg
1
Schmidt, Stefan
Zobrazit vše ...
méně ...
Jazyk
13
angličtina
Žánr
12
elektronicke knihy
6
sborníky konferencí
1
sborníky
Rok vydání
Od:
do:
PSH
13
algebra
13
umělá inteligence
10
vyhledávání v datech
9
informatika
9
matematická logika
8
softwarové inženýrství
více ...
6
robotika
5
matematika
3
formální jazyky
3
vyhledávání informací
2
algoritmizace
2
systémy řízení báze dat
1
algebraická logika
1
automatizované řešení problémů
1
informační systémy
1
internet
1
matematické modely
1
sémantický web
1
teorie důkazů
1
učící se systémy
1
zpracování dat
Zobrazit vše ...
méně ...
×
Načítá se...