Zobrazuji výsledky
1 - 5
z
5
pro vyhledávání '
Baader, Franz, 1959-
'
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
Baader, Franz, 1959-
Zobrazuji výsledky
1 - 5
z
5
pro vyhledávání '
Baader, Franz, 1959-
'
, doba hledání: 0,03 s.
Upřesnit hledání
Seřadit podle
Relevance
Data sestupně
Data vzestupně
Signatury
Autora
Názvu
Automated deduction : CADE-19 : 19th International Conference on Automated Deduction, Miami Beach, Fl, USA, July 28 - August 2, 2003 : proceedings
Vydáno:
2003
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
The description logic handbook : theory, implementation, and applications
Vydáno:
2007
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Term rewriting and applications : 18th international conference, RTA 2007, Paris, France, June 26-28, 2007 : proceedings
Vydáno:
2007
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Logic for programming, artificial intelligence, and reasoning : 11th international conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, proceedings
Vydáno:
2005
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
KI 2001 : advances in artificial intelligence : Joint German/Austrian Conference on AI, Vienna, Austria, September 19-21, 2001 : proceedings
Vydáno:
2001
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
umělá inteligence
programování
algoritmy (programování)
automatizované řešení problémů
logika
matematická logika
přepisující systémy
reprezentace znalostí
sémantický web
×
Načítá se...