Zobrazuji výsledky
1 - 20
z
80
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
Oblast:
NOT
Bergamo (Itálie)
Doporučená témata:
Filtry: 4
programovací jazyky
AND
matematická logika
NOT
softwarové inženýrství
NOT
software
PSH:
NOT
překladače
Médium:
E-kniha
Zrušit filtry
Zobrazit filtry (7)
Oblast:
NOT
Bergamo (Itálie)
Doporučená témata:
Filtry: 4
programovací jazyky
AND
matematická logika
NOT
softwarové inženýrství
NOT
software
PSH:
NOT
překladače
Médium:
E-kniha
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
programovací jazyky
informatika
79
umělá inteligence
55
počítače
43
programování
39
algoritmizace
27
více ...
formální jazyky
25
robotika
17
vyhledávání v datech
14
systémy řízení báze dat
9
aplikační programy
5
diskrétní matematika
4
numerická analýza
4
strojová lingvistika
4
agenti
3
multiagentní systémy
3
jazykověda
2
počítačová lingvistika
2
sémantický web
2
vyhledávání informací
2
zpracování obrazů
2
XML
1
algebra
1
bioinformatika
1
logika
1
matematická lingvistika
1
matematika
1
ontologie (informatika)
1
počítačová grafika
1
méně ...
Zobrazuji výsledky
1 - 20
z
80
pro vyhledávání '
'
, doba hledání: 0,11 s.
Upřesnit hledání
Seřadit podle
Relevance
Data sestupně
Data vzestupně
Signatury
Autora
Názvu
Advances in natural language processing : 6th international conference, GoTAL 2008, Gothenburg, Sweden, August 25-27, 2008 : proceedings
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Computational logic in multi-agent systems : 8th international workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007 : revised selected and invited papers
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Certified programs and proofs : third international conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013 : proceedings
Vydáno:
2013
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Logics in artificial intelligence : 11th European conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008 : proceedings
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Formal theories of information : from Shannon to semantic information theory and general concepts of information
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Computer science logic : 21st international workshop, CSL 2007, 16th Annual conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007 : proceedings
Vydáno:
2007
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Language and Automata Theory and Applications : Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008. Revised Papers
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Types for proofs and programs : international workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004 : revised selected papers
Vydáno:
2006
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Machine learning and data mining in pattern recognition : 6th international conference, MLDM 2009, Leipzig, Germany, July 23-25, 2009 : proceedings
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Trends in functional programming : 13th international symposium, TFP 2012, St. Andrews, UK, June 12-14, 2012 : revised selected papers
Vydáno:
2013
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
The mathematics of language : 10th and 11th biennial conference, MOL 10, Los Angeles, CA, USA, July 28-30, 2007, and MOL 11, Bielefeld, Germany, August 20-21, 2009 : revised select...
Vydáno:
2010
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Principles and practice of constraint programming : 18th international conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012 : proceedings
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Conceptual structures: knowledge visualization and reasoning : 16th International conference on conceptual structures, ICCS 2008, Toulouse, France, July 7-11, 2008 : proceedings
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Constraint handling rules : current research topics
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Modeling decisions for artificial intelligence : 5th international conference, MDAI 2008 Sabadell, Spain, October 30-31, 2008 : proceedings
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Computer processing of oriental languages : language technology for the knowledge-based economy : 22nd international conference, ICCPOL 2009, Hong Kong, March 26-27, 2009 : proceed...
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
AI 2008: advances in artificial intelligence : 21st Australasian joint conference on artificial intelligence Auckland, New Zealand, December 1-5, 2008 : proceedings
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Logic, language, and computation : 7th International Tbilisi symposium on logic, language, and computation, TbiLLC 2007, Tbilisi, Georgia, October 1-5, 2007 : revised selected pape...
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
MICAI 2008: advances in artificial intelligence : 7th Mexican international conference on artificial intelligence, Atizapán de Zaragoza, Mexico, October 27-31, 2008 : proceedings
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Typed lambda calculi and applications : 7th international conference, TLCA 2005, Nara, Japan, April 21-23, 2005 : proceedings
Vydáno:
2005
Umístění:
Načítá se...
Plný text
E-kniha
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
80
NTK
Médium
E-kniha
Autor
80
SpringerLink (online služba)
2
Fages, François
2
Löwe, Benedikt
2
Rossi, Francesca
1
Achten, Peter
1
Altenkirch, Thorsten
více ...
1
Althoff, Klaus-Dieter
1
Archibald, Margaret
1
Artemov, Sergei
1
Arun-Kumar, S
1
Azevedo, Francisco de Moura e Castro Ascensão de, 1969-
1
Baader, Franz
1
Bacardit, Jaume
1
Banâtre, Jean-Pierre
1
Barahona, Pedro, 1954-
1
Berardi, Stefano
1
Berghammer, Rudolf, 1952-
1
Bergmann, Ralph
1
Bernadó-Mansilla, Ester
1
Bonanno, Giacomo
1
Bosch, Peter
1
Bramer, M. A. (Max A.), 1948-
1
Branco, António
1
Brattka, Vasco
1
Butz, Martin V
1
Chan, Chien-Chung
1
Chan, Keith C. C
1
Charatonik, Witold
1
Chemello, Gaetano
1
Christiansen, Henning
Zobrazit vše ...
méně ...
Jazyk
80
angličtina
Žánr
80
elektronicke knihy
27
sborníky konferencí
2
monografie
2
sborníky
1
eseje
Rok vydání
Od:
do:
PSH
80
matematická logika
80
programovací jazyky
79
informatika
55
umělá inteligence
43
počítače
39
programování
více ...
27
algoritmizace
25
formální jazyky
17
robotika
14
vyhledávání v datech
9
systémy řízení báze dat
5
aplikační programy
4
numerická analýza
4
strojová lingvistika
3
agenti
2
jazykověda
2
sémantický web
2
vyhledávání informací
2
zpracování obrazů
1
XML
1
algebra
1
bioinformatika
1
logika
1
matematická lingvistika
1
matematika
1
počítačová grafika
1
počítačová simulace
1
rozpoznávání obrazců
1
teorie informace
1
výpočetní technika
Zobrazit vše ...
méně ...
×
Načítá se...