Zobrazuji výsledky
1 - 5
z
5
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
Žánr:
NOT
encyklopedie
NOT
učebnice vysokých škol
NOT
autoreferáty
PSH:
NOT
elektronické obvody
Médium:
NOT
Kniha
Jazyk:
NOT
srbština (zastaralý kód)
Doporučená témata:
umělá inteligence
AND
matematická logika
Autor:
Queiroz, Ruy J. G. B. de
Zrušit filtry
Zobrazit filtry (9)
Žánr:
NOT
encyklopedie
NOT
učebnice vysokých škol
NOT
autoreferáty
PSH:
NOT
elektronické obvody
Médium:
NOT
Kniha
Jazyk:
NOT
srbština (zastaralý kód)
Doporučená témata:
umělá inteligence
AND
matematická logika
Autor:
Queiroz, Ruy J. G. B. de
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
algoritmizace
4
informatika
4
počítače
2
diskrétní matematika
1
filozofie
1
více ...
formální jazyky
1
logika
1
programování
1
robotika
1
méně ...
Zobrazuji výsledky
1 - 5
z
5
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
Logic, language, information and computation : 16th international workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009 : proceedings
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Logic, Language, Information, and Computation : 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings
Vydáno:
2015
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Logic, language, information, and computation : 20th international workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013 : proceedings
Vydáno:
2013
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Logic, Language, Information, and Computation : 21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings
Vydáno:
2014
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Logic, Language, Information and Computation : 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings
Vydáno:
2008
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
5
NTK
Médium
5
E-kniha
Autor
Queiroz, Ruy J. G. B. de
5
SpringerLink (online služba)
2
Kohlenbach, Ulrich
1
Barceló, Pablo
1
Hodges, Wilfrid, 1941-
1
Kanazawa, Makoto
více ...
1
Leivant, Daniel Maurice Raphaël
1
Libkin, Leonid, 1965-
1
Moss, Lawrence S.
1
Ono, Hiroakira, 1942-
1
de Oliveira, Anjolina G.
1
de Paiva, Valeria
Zobrazit vše ...
méně ...
Jazyk
5
angličtina
Žánr
5
elektronicke knihy
2
sborníky konferencí
Rok vydání
Od:
do:
PSH
5
matematická logika
5
umělá inteligence
4
algoritmizace
4
informatika
2
počítače
1
filozofie
více ...
1
formální jazyky
1
logika
1
programování
1
robotika
Zobrazit vše ...
méně ...
×
Načítá se...