Zobrazuji výsledky
1 - 20
z
25
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
Signatura:
Q - Věda
Žánr:
sborníky
Doporučená témata:
logické programování
Zrušit filtry
Zobrazit filtry (3)
Signatura:
Q - Věda
Žánr:
sborníky
Doporučená témata:
logické programování
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í:
logické programování
matematická logika
7
umělá inteligence
7
matematické programování
2
algebra
1
formální jazyky
1
informatika
1
více ...
komunikační software
1
programovací jazyky
1
programování
1
software
1
sémantický web
1
sémantika programovacích jazyků
1
méně ...
Zobrazuji výsledky
1 - 20
z
25
pro vyhledávání '
'
, doba hledání: 0,05 s.
Upřesnit hledání
Seřadit podle
Relevance
Data sestupně
Data vzestupně
Signatury
Autora
Názvu
Logic program synthesis and transformation : 5th international workshop, LOPSTR '95, Utrecht, The Netherlands, September 20-22, 1995. Proceedings
Vydáno:
1996
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Logic programming and nonmonotonic reasoning : Third international conference, LPNMR '95, Lexington, KY, USA, June 26-28, 1995. Proceedings
Vydáno:
1995
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Advances in artificial intelligence : KI-96. 20th Annual German Conference on Artificial Intelligence, Dresden, Germany, September 17-19, 1996. Proceedings
Vydáno:
1996
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Logics in artificial intelligence : European workshop, JELIA '96, Évora, Portugal, September 30 - October 3, 1996. Proceedings
Vydáno:
1996
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Algebraic and logic programming : 5th international conference, ALP '96, Aachen, Germany, September 25-27, 1996. Proceedings
Vydáno:
1996
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Inductive logic programming : 6th international workshop, ILP-96, Stockholm, Sweden, August 26-28, 1996. Selected papers
Vydáno:
1997
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Logic program synthesis and transformation : 6th international workshop, LOPSTR '96, Stockholm, Sweden, August 28-30, 1996. Proceedings
Vydáno:
1997
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Inductive logic programming : 7th international workshop, ILP-97, Prague, Czech Republic, September 17-20, 1997. Proceedings
Vydáno:
1997
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Logic programming and nonmonotonic reasoning : 4th international conference, LPNMR '97, Dagstuhl Castle, Germany, July 28-31, 1997 : proceedings
Vydáno:
1997
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Automated reasoning with analytic tableaux and related methods : International conference, TABLEAUX '97, Pont-a-Mousson, France, May 13-16, 1997. Proceedings
Vydáno:
1997
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Algebraic and logic programming : 6th international joint conference, ALP '97 - HOA '97, Southampton, UK, September 3-5, 1997 : proceedings
Vydáno:
1997
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Automated reasoning with analytic tableaux and related methods : International conference, Tableaux '98, Oisterwijk, the Netherlands, May 5-8, 1998. Proceedings
Vydáno:
1998
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Principles of declarative programming : 10th International Symposium, PLILP '98, held jointly with the 6th International Conference, ALP '98, Pisa, Italy, September 16-18, 1998. Pr...
Vydáno:
1998
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Logic program synthesis and transformation : 7th international workshop, LOPSTR '97, Leuven, Belgium, July 10-12, 1997 : proceedings
Vydáno:
1998
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Logics in artificial intelligence : European workshop, JELIA '98, Dagstuhl, Germany, October 12-15, 1998 : proceedings
Vydáno:
1998
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Inductive logic programming : 8th international conference, ILP-98, Madison, Wisconsin, USA, July 22-24, 1998. Proceedings
Vydáno:
1998
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Agents and multi-agent systems : Formalisms, methodologies, and applications. Based on the AI '97, Workshops on Commonsense Reasoning, Intelligent Agents, and Distributed Artificia...
Vydáno:
1998
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Logic programming and knowledge representation : third international workshop, LPKR '97, Port Jefferson, New York, USA, October 17, 1997 : selected papers
Vydáno:
1998
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Logic-based program synthesis and transformation : 8th international workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998 : selected papers
Vydáno:
1999
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Automated reasoning with analytic tableaux and related methods : International conference, Tableaux '99, Saratoga Springs, NY, USA, June 7-11, 1999. Proceedings
Vydáno:
1999
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
1
2
Další »
[2]
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Zpět
Upřesnit hledání
Sbírka
25
NTK
Médium
24
Kniha
1
Rukopis
Signatura
Q - Věda
Autor
4
Dix, Jürgen, 1961-
3
Pereira, Luís Moniz
2
Furbach, Ulrich, 1948-
2
Hanus, Michael, 1959-
2
Meinke, Karl
2
Przymusinski, Teodor C.
více ...
1
Alferes, José Júlio, 1966-
1
Cerro, Luís Farinas del
1
Dyckhoff, Roy, 1948-
1
Džeroski, Sašo
1
Flener, Pierre
1
Fuchs, Norbert E.
1
Futatsugi, Kokichi
1
Gallagher, John (John P.)
1
Galmiche, Didier, 1958-
1
Ganzinger, Harald, 1950-
1
Gelfond, Michael
1
Glaser, Hugh
1
Görz, Günther
1
Heering, Jan
1
Herre, Heinrich
1
Hölldobler, Steffen
1
Jouannaud, Jean-Pierre, 1947-
1
Lavrac, Nada, 1953-
1
Leone, Nicola
1
Marek, V. W.
1
McAllester, David
1
Meseguer, José
1
Muggleton, Stephen
1
Murray, Neil V.
Zobrazit vše ...
méně ...
Jazyk
25
angličtina
Žánr
sborníky
Rok vydání
Od:
do:
PSH
25
logické programování
7
matematická logika
7
umělá inteligence
2
matematické programování
1
algebra
1
formální jazyky
více ...
1
informatika
1
komunikační software
1
programovací jazyky
1
programování
1
software
1
sémantický web
1
sémantika programovacích jazyků
Zobrazit vše ...
méně ...
×
Načítá se...