Zobrazuji výsledky
1 - 20
z
28
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
Žánr:
sborníky konferencí
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
Žánr:
sborníky konferencí
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
26
formální jazyky
21
počítače
21
umělá inteligence
18
programování
15
více ...
robotika
15
algoritmizace
12
vyhledávání v datech
6
diskrétní matematika
4
systémy řízení báze dat
4
agenti
3
multiagentní systémy
3
matematická lingvistika
2
počítačová lingvistika
2
strojová lingvistika
2
sémantický web
2
vyhledávání informací
2
XML
1
algebra
1
aplikační programy
1
bioinformatika
1
jazykověda
1
matematické programování
1
numerická analýza
1
ontologie (informatika)
1
počítačová simulace
1
sémantika programovacích jazyků
1
teorie informace
1
méně ...
Zobrazuji výsledky
1 - 20
z
28
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
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:
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:
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:
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:
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
E-kniha
Uloženo v:
Types for proofs and programs : international conference, TYPES 2008, Torino, Italy, March 26-29, 2008 : revised selected papers
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Foundations of information and knowledge systems : 6th international symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2010 : proceedings
Vydáno:
2010
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
1
2
Další »
[2]
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Zpět
Upřesnit hledání
Sbírka
28
NTK
Médium
27
E-kniha
1
Kniha
Signatura
1
Q - Věda
Autor
27
SpringerLink (online služba)
1
Berardi, Stefano
1
Berghammer, Rudolf, 1952-
1
Bosch, Peter
1
Cate, Balder ten, 1979-
1
Damiani, Ferruccio
více ...
1
Dawar, Anuj, 1966-
1
De Raedt, Luc, 1964-
1
Duparc, Jacques, 1962-
1
Ebert, Christian
1
Eklund, Peter W., 1962-
1
Filliâtre, Jean-Christophe
1
Gabelaia, David
1
Gelbukh, Alexander, 1962-
1
Giesl, Jürgen
1
Gonthier, Georges
1
Greco, Sergio, 1955-
1
Haemmerlé, Ollivier
1
Hagiya, Masami, 1957-
1
Henzinger, T. A., 1962-
1
Hölldobler, Steffen
1
Jaoua, Ali Mohamed
1
Jäger, Gerhard
1
Lang, Jérôme
1
Li, Wenjie
1
Link, Sebastian
1
Loidl, Hans-Wolfgang+
1
Lukasiewicz, Thomas
1
Lutz, Carsten, 1971-
1
Mariño, Julio
Zobrazit vše ...
méně ...
Jazyk
28
angličtina
Žánr
sborníky konferencí
27
elektronicke knihy
Rok vydání
Od:
do:
PSH
28
matematická logika
28
programovací jazyky
26
informatika
21
formální jazyky
21
počítače
18
umělá inteligence
více ...
15
programování
15
robotika
12
algoritmizace
6
vyhledávání v datech
4
systémy řízení báze dat
3
agenti
2
matematická lingvistika
2
strojová lingvistika
2
sémantický web
2
vyhledávání informací
1
XML
1
algebra
1
aplikační programy
1
bioinformatika
1
jazykověda
1
matematické programování
1
numerická analýza
1
počítačová simulace
1
sémantika programovacích jazyků
1
teorie informace
1
zpracování obrazů
Zobrazit vše ...
méně ...
×
Načítá se...