Výsledky
1 - 6
z
6
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:"logic programming"
topic_facet:"artificial intelligence"
Vyhledávání:
Výsledky
1 - 6
z
6
pro vyhledávání '
'
, doba hledání: 0,02 s.
Upřesnit hledání
Seřadit podle
Relevance
Podle data sestupně
Podle data vzestupně
Autor
Název
1
Logic for programming, artificial intelligence, and reasoning : 13th International Conference, LPAR 2006 : Phnom Penh, Cambodia, November 13-17, 2006 : proceedings /
Vydáno 2006
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 : 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
3
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
4
Handbook of practical logic and automated reasoning /
Autor
Harrison, John, 1966-
Vydáno 2009
Umístění:
Načítá se...
Kniha
Načítá se...
Do oblíbených
Uloženo v:
Jednotky
5
Handbook of logic in artificial intelligence and logic programming. Vol. 2, Deduction methodologies /
Vydáno 1994
Umístění:
Načítá se...
Kniha
Načítá se...
Do oblíbených
Uloženo v:
Jednotky
6
Handbook of logic in artificial intelligence and logic programming. Vol. 3, Nonmonotonic reasoning and uncertain reasoning /
Vydáno 1994
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: logic programming
Zrušit filtr
Doporučená témata: artificial intelligence
Knihovna
Fakulta informatiky
6
Typ dokumentu
Kniha
6
Autor
Voronkov, Andrei, 1959-
3
Gabbay, Dov M., 1945-
2
Hogger, Christopher John
2
Robinson, J. A.
2
Cervesato, Iliano
1
Dershowitz, Nachum, 1951-
1
více ...
Harrison, John, 1966-
1
Hermann, Miki, 1958-
1
LPAR 2006 (Phnompenh, Kambodža)
1
LPAR 2007 (Jerevan, Arménie)
1
LPAR 2008 Dawhah, Katar)
1
Veith, Helmut
1
Zobrazit vše ...
méně ...
Jazyk
Angličtina
6
Doporučená témata
artificial intelligence
logic programming
logické programování
6
umělá inteligence
6
Počítačová věda. Výpočetní technika. Informační technologie
2
symbolic logic
2
více ...
symbolická logika
2
Umělá inteligence
1
computer programs
1
matematická logika
1
mathematical logic
1
počítačové programy
1
Zobrazit vše ...
méně ...
Žánr
monografie
3
monographs
3
sborníky konferencí
2
handbooks and manuals
1
příručky
1
Rok vydání
Od:
do:
×
Načítá se...