Zobrazuji výsledky
1 - 6
z
6
pro vyhledávání '
"mathematician"
'
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
PSH:
počítače
Zrušit filtry
Zobrazit filtry (1)
PSH:
počítače
Hlavní strana
Vyhledávání: "mathematician"
Doporučená témata ve výsledcích tohoto hledání:
Doporučená témata ve výsledcích tohoto hledání:
informatika
6
počítače
6
umělá inteligence
4
matematická logika
2
strojová lingvistika
2
algebra
1
bioinformatika
1
více ...
formální jazyky
1
informační systémy
1
internet
1
počítačová simulace
1
robotika
1
software
1
softwarové inženýrství
1
systémy řízení báze dat
1
vyhledávání v datech
1
méně ...
Alternativní vyhledávání
:
"mathematician" »
"mathematicians"
,
"mathematical"
,
"mathematica"
Zobrazuji výsledky
1 - 6
z
6
pro vyhledávání '
"mathematician"
'
, doba hledání: 0,08 s.
Upřesnit hledání
Seřadit podle
Relevance
Data sestupně
Data vzestupně
Signatury
Autora
Názvu
Categories and types in logic, language, and physics : essays dedicated to Jim Lambek on the occasion of his 90th birthday
Vydáno:
2014
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Language, Culture, Computation. Computing - Theory and Technology : Essays Dedicated to Yaacov Choueka on the Occasion of His 75th Birthday, Part I
Vydáno:
2014
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Language, Culture, Computation. Computing of the Humanities, Law, and Narratives : Essays Dedicated to Yaacov Choueka on the Occasion of His 75th Birthday, Part II
Vydáno:
2014
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
OMDoc - An Open Markup Format for Mathematical Documents [version 1.2] : Foreword by Allan Bundy
Autor
Kohlhase, Michael
Vydáno:
2006
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Intelligent computer mathematics : 9th international conference, AISC 2008, 15th symposium, Calculemus 2008, 7th international conference, MKM 2008, Birmingham, UK, July 28 - Augus...
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Computational Methods in Systems Biology : International Conference CMSB 2004, Paris, France, May 26-28, 2004, Revised Selected Papers
Vydáno:
2005
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
6
NTK
Médium
6
E-kniha
Autor
6
SpringerLink (online služba)
2
Dershowitz, Nachum
2
Nissan, Ephraim
1
Autexier, Serge
1
Campbell, John
1
Casadio, Claudia
více ...
1
Coecke, Bob, 1968-
1
Danos, Vincent
1
Kohlhase, Michael
1
Moortgat, Michael
1
Rubio, Julio
1
Schachter, Vincent
1
Scott, P. J.
1
Sorge, Volker
1
Suzuki, Masakazu
1
Wiedijk, Freek, 1961-
Zobrazit vše ...
méně ...
Jazyk
6
angličtina
Žánr
6
elektronicke knihy
1
eseje
1
sborníky konferencí
Rok vydání
Od:
do:
PSH
6
informatika
počítače
4
umělá inteligence
2
matematická logika
2
strojová lingvistika
1
algebra
více ...
1
bioinformatika
1
formální jazyky
1
informační systémy
1
internet
1
počítačová simulace
1
robotika
1
software
1
softwarové inženýrství
1
systémy řízení báze dat
1
vyhledávání v datech
Zobrazit vše ...
méně ...
×
Načítá se...