Výsledky
1 - 8
z
8
pro vyhledávání '
'
Přeskočit na obsah
Váš názor
Váš účet
Odhlásit
Přihlášení
English
Informace o aktuálním provozu knihoven sledujte na jejich
stránkách
.
Vše
Název
Autor
Téma
ISBN/ISSN
Signatura
Čárový kód
Systémové číslo
Hledat
Pokročilé vyhledávání
Pokročilé vyhledávání
Zachovat současné nastavení filtrů
topic_facet:"logické programování"
genre_facet:"sborníky konferencí"
Vyhledávání:
Výsledky
1 - 8
z
8
pro vyhledávání '
'
, doba hledání: 0,01 s.
Upřesnit hledání
Seřadit podle
Relevance
Podle data sestupně
Podle data vzestupně
Autor
Název
1
Logic programming : 23rd International Conference, ICLP 2007 : Porto, Portugal, September 8-13, 2007 : proceedings /
Vydáno 2007
Umístění:
Načítá se...
Kniha
Načítá se...
Do oblíbených
Uloženo v:
Jednotky
2
Logic for programmming artificial intelligence, and reasoning : 14th International Conference, LPAR 2007 : Yerevan, Armenia, October 15-19, 2007 : proceedings /
Vydáno 2007
Umístění:
Načítá se...
Kniha
Načítá se...
Do oblíbených
Uloženo v:
Jednotky
3
Logic-based program synthesis and transformation : 17th International Symposium, LOPSTR 2007 : Kongens Lyngby, Denmark, August 23-24, 2007 : revised selected papers /
Vydáno 2008
Umístění:
Načítá se...
Kniha
Načítá se...
Do oblíbených
Uloženo v:
Jednotky
4
Functional and logic programming : 9th International Symposium, FLOPS 2008 : Ise, Japan, April 14-16, 2008 : proceedings /
Vydáno 2008
Umístění:
Načítá se...
Kniha
Načítá se...
Do oblíbených
Uloženo v:
Jednotky
5
Logic for programmming artificial intelligence, and reasoning : 15th International Conference, LPAR 2008 : Doha, Qatar, November 22-27, 2008 : proceedings /
Vydáno 2008
Umístění:
Načítá se...
Kniha
Načítá se...
Do oblíbených
Uloženo v:
Jednotky
6
Recent advances in constraints : 12th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007 : Rocquencourt, France, June 7-8, 2007 : revised selected papers /
Vydáno 2008
Umístění:
Načítá se...
Kniha
Načítá se...
Do oblíbených
Uloženo v:
Jednotky
7
Logic programming : 24th International Conference, ICLP 2008 : Udine, Italy, December 9-13, 2008 : proceedings /
Vydáno 2008
Umístění:
Načítá se...
Kniha
Načítá se...
Do oblíbených
Uloženo v:
Jednotky
8
Automated reasoning : 4th International Joint Conference, IJCAR 2008 : Sydney, Australia, August 12-15, 2008 : proceedings /
Vydáno 2008
Umístění:
Načítá se...
Kniha
Načítá se...
Do oblíbených
Uloženo v:
Jednotky
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Zpět
Upřesnit hledání
Odstranit filtry
Zrušit filtr
Doporučená témata: logické programování
Zrušit filtr
Žánr: sborníky konferencí
Knihovna
Fakulta informatiky
8
Typ dokumentu
Kniha
8
Autor
Voronkov, Andrei, 1959-
2
Armando, Alessandro
1
Banda, Maria Garcia de la
1
Baumgartner, Peter, 1946-
1
Cervesato, Iliano
1
Dahl, Veronica, 1950-
1
více ...
Dershowitz, Nachum, 1951-
1
Dowek, Gilles, 1966-
1
ERCIM International Workshop on Constraint Solving and Constraint Logic Programming Rocquencourt, Francie)
1
Fages, François
1
Garrigue, Jacques
1
Hermenegildo, Manuel de, 1959-
1
IJCAR 2008 (Sydney, Nový Jižní Wales)
1
International Conference on Logic Programming Porto, Portugalsko)
1
International Conference on Logic Programming Udine, Itálie)
1
International Symposium on Functional and Logic Programming Ise, Japonsko)
1
King, Andrew Malcolm
1
LOPSTR 2007 (Kongens Lyngby, Dánsko)
1
LPAR 2007 (Jerevan, Arménie)
1
LPAR 2008 Dawhah, Katar)
1
Niemelä, Ilkka, 1961-
1
Pontelli, Enrico, 1967-
1
Rossi, Francesca, 1962-
1
Soliman, Sylvain
1
Veith, Helmut
1
Zobrazit vše ...
méně ...
Jazyk
Angličtina
8
Doporučená témata
logic programming
8
logické programování
artificial intelligence
2
umělá inteligence
2
programming
1
programování
1
Žánr
sborníky konferencí
Rok vydání
Od:
do:
×
Načítá se...