Zobrazuji výsledky
1 - 5
z
5
pro vyhledávání '
Wang, Dongming, 1961-
'
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
Wang, Dongming, 1961-
Zobrazuji výsledky
1 - 5
z
5
pro vyhledávání '
Wang, Dongming, 1961-
'
, doba hledání: 0,03 s.
Upřesnit hledání
Seřadit podle
Relevance
Data sestupně
Data vzestupně
Signatury
Autora
Názvu
Automated deduction in geometry : international workshop on automated deduction in geometry, Toulouse, France, September 27-29, 1996. Selected papers
Vydáno:
1997
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Automated deduction in geometry : 5th international workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004 : revised papers
Vydáno:
2006
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Automated deduction in geometry : third international workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000 : revised papers
Vydáno:
2001
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Artificial intelligence and symbolic computation : 8th international conference, AISC 2006, Beijing, China, September 20-22, 2006 : proceedings
Vydáno:
2006
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Automated deduction in geometry : second international workshop, ADG '98, Beijing, China, August 1-3, 1998. Proceedings
Vydáno:
1999
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Související témata
algebraická geometrie
geometrie
programování
výpočetní geometrie
automatizované řešení problémů
matematika
symbolické výpočty
umělá inteligence
×
Načítá se...