Zobrazuji výsledky
1 - 4
z
4
pro vyhledávání '
Leivant, Daniel Maurice Raphaël
'
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í
Hlavní strana
Autor
Leivant, Daniel Maurice Raphaël
Zobrazuji výsledky
1 - 4
z
4
pro vyhledávání '
Leivant, Daniel Maurice Raphaël
'
, doba hledání: 0,03 s.
Upřesnit hledání
Seřadit podle
Relevance
Data sestupně
Data vzestupně
Signatury
Autora
Názvu
Logic and computational complexity : international workshop LCC '94, Indianapolis, IN, USA, October 13-16, 1994. Selected papers
Vydáno:
1995
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Logic, language, information and computation : 14th international workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007 : proceedings
Vydáno:
2007
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Logic, Language, Information and Computation : 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007. Proceedings
Vydáno:
2007
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:
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Související témata
matematická logika
algoritmizace
informatika
matematická lingvistika
počítače
počítačová věda
přirozené jazyky hybridní
sémantika programovacích jazyků
teorie programů
teorie složitosti
umělá inteligence
×
Načítá se...