Zobrazuji výsledky
1 - 4
z
4
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
Doporučená témata:
databázové systémy
NOT
počítače
Autor:
Univerzita Karlova. Matematicko-fyzikální fakulta
Zrušit filtry
Zobrazit filtry (3)
Doporučená témata:
databázové systémy
NOT
počítače
Autor:
Univerzita Karlova. Matematicko-fyzikální fakulta
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í:
databázové systémy
aplikovaná matematika
2
objektově orientované programování
2
umělá inteligence
2
znalostní systémy
2
Zobrazuji výsledky
1 - 4
z
4
pro vyhledávání '
'
, doba hledání: 0,04 s.
Upřesnit hledání
Seřadit podle
Relevance
Data sestupně
Data vzestupně
Signatury
Autora
Názvu
Exploring and combining deductive and inductive reasoning in large libraries of formalized mathematics : abstract of doctoral thesis
Autor
Urban, Josef, 1973-
Vydáno:
2004
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Exploring and combining deductive and inductive reasoning in large libraries of formalized mathematics : dissertation
Autor
Urban, Josef, 1973-
Vydáno:
2004
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Reference and dereference as an object-oriented extension to a relational database management system : A thesis submitted in a partial fulfilment of requirements for the degree of...
Autor
Tloušť, Vojtěch
Vydáno:
1999
Umístění:
Načítá se...
Rukopis
Načítá se...
Uloženo v:
Reference and dereference as an object-oriented extension to a relational datatabase management system : Summary of doctoral thesis
Autor
Tloušť, Vojtěch
Vydáno:
1999
Umístění:
Načítá se...
Rukopis
Načítá se...
Uloženo v:
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Zpět
Upřesnit hledání
Sbírka
4
NTK
Médium
2
Kniha
2
Rukopis
Autor
Univerzita Karlova. Matematicko-fyzikální fakulta
2
Tloušť, Vojtěch
2
Urban, Josef, 1973-
2
Říha, Antonín
Jazyk
4
angličtina
Žánr
3
disertace
1
autoreferáty
Rok vydání
Od:
do:
PSH
4
databázové systémy
2
aplikovaná matematika
2
objektově orientované programování
2
umělá inteligence
2
znalostní systémy
×
Načítá se...