Zobrazuji výsledky
1 - 20
z
91
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 konferencí
Doporučená témata:
matematická logika
Zrušit filtry
Zobrazit filtry (3)
Signatura:
Q - Věda
Žánr:
sborníky konferencí
Doporučená témata:
matematická logika
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í:
matematická logika
umělá inteligence
33
počítačová věda
16
programování
16
informatika
14
softwarové inženýrství
14
algoritmy
12
více ...
počítače
10
učící se systémy
9
formální jazyky
8
zpracování přirozených jazyků
8
formální gramatiky
7
logické programování
7
software
7
algoritmizace
5
simulace a modelování
5
matematické modely
4
matematické programování
4
svazy
4
zpracování dat
4
Booleova algebra
3
algebra
3
kombinatorika
3
matematická lingvistika
3
programovací jazyky
3
reprezentace znalostí
3
sémantika programovacích jazyků
3
teorie důkazů
3
výroková logika
3
znalostní systémy
3
méně ...
Zobrazuji výsledky
1 - 20
z
91
pro vyhledávání '
'
, doba hledání: 0,09 s.
Upřesnit hledání
Seřadit podle
Relevance
Data sestupně
Data vzestupně
Signatury
Autora
Názvu
Typed lambda calculi and applications : second international conference on Typed Lambda Calculi and Applications, TLCA'95, Edinburgh, United Kingdom, April 10-12, 1995. Proceedings
Vydáno:
1995
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Logic and computational complexity : international workshop LCC '94, Indianapolis, IN, USA, October 13-16, 1994. Selected papers
Vydáno:
1995
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Computer science logic : 18th international workshop, CSL 2004 : 13th annual conference of the EACSL, Karpacz, Poland, September 20-24, 2004 : proceedings
Vydáno:
2004
Umístění:
Načítá se...
Získat plný text
Kniha
Uloženo v:
Theorem proving in higher order logics : 17th international conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004 : proceedings
Vydáno:
2004
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Logics in artificial intelligence : 9th European conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004 : proceedings
Vydáno:
2004
Umístění:
Načítá se...
Získat plný text
Kniha
Uloženo v:
Mathematical logic and applications : proceedings of the Logic Meeting held in Kyoto, 1987
Vydáno:
1989
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Typed lambda calculi and applications : third international conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997. Proceedings
Vydáno:
1997
Umístění:
Načítá se...
Kniha
Načítá se...
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:
Typed lambda calculi and applications : 7th international conference, TLCA 2005, Nara, Japan, April 21-23, 2005 : proceedings
Vydáno:
2005
Umístění:
Načítá se...
Získat plný text
Kniha
Uloženo v:
Types for proofs and programs : international workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2004 : selected papers
Vydáno:
2004
Umístění:
Načítá se...
Získat plný text
Kniha
Uloženo v:
Frontiers of combining systems : 4th international workshop, FroCoS 2002, Santa Margherita Ligure, Italy, April 8-10, 2002 : proceedings
Vydáno:
2002
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Algebra, combinatorics and logic in computer science.
Vydáno:
1986
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Algerbra, combinatorics and logic in computer science.
Vydáno:
1986
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
... International symposium on multiple-valued logic : proceedings.
Vydáno:
1992
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Frege conference 1984 : proceedings of the international conference
Vydáno:
1984
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Typed lambda calculi and applications : international conference on Typed Lambda Calculi and Applications, TLCA '93, March 16-18, 1993, Utrecht, the Netherlands. Proceedings
Vydáno:
1993
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Typed lambda calculi and applications : 4th international conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999. Proceedings
Vydáno:
1999
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Frontiers of combining systems : third international workshop, FroCoS 2000, Nancy, France, March 22-24, 2000
Vydáno:
2000
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Typed lambda calculi and applications : 5th international conference, TLCA 2001, Kraków, Poland, May 2-5, 2001. Proceedings
Vydáno:
2001
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Automated deduction - CADE-12 : 12 International Conference on Automated Deduction, Nancy, France, June 26 - July 1, 1994. Proceedings
Vydáno:
1994
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
1
2
3
4
5
Další »
[5]
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Zpět
Upřesnit hledání
Sbírka
91
NTK
Médium
91
Kniha
Signatura
Q - Věda
Autor
4
Nerode, Anil, 1932-
4
Voronkov, Andrei, 1959-
2
Alt, Helmut, 1950-
2
Baral, Chitta, 1966-
2
Demetrovics, János, 1946-
2
Diekert, Volker, 1955-
více ...
2
Durand, Bruno
2
Habib, M. (Michel), 1951-
2
Katona, Gyula, 1941-
2
Leivant, Daniel Maurice Raphaël
2
Sakakibara, Yasubumi
2
Salomaa, Arto, 1934-
2
Siekmann, Jörg, 1941-
1
Abramsky, Samson, 1953-
1
Adian, Sergei
1
Adriaans, P.W., 1955-
1
Alferes, José Júlio, 1966-
1
Altenkirch, Thorsten, 1962-
1
Armando, Alessandro
1
Artemov, S. N.
1
Asarin, Jevgenij Aleksandrovič, 1962-
1
Baader, Franz, 1959-
1
Bacchus, Fahiem
1
Beckert, Bernhard
1
Beckmann, Arnold
1
Berardi, Stefano
1
Bezem, Marc, 1956-
1
Biere, Armin, 1967-
1
Bouyer, Patricia, 1976-
1
Brandt, Jens, 1978-
Zobrazit vše ...
méně ...
Jazyk
90
angličtina
1
čeština
1
němčina
Žánr
sborníky konferencí
1
elektronicke knihy
Rok vydání
Od:
do:
PSH
91
matematická logika
33
umělá inteligence
16
programování
14
informatika
14
softwarové inženýrství
10
počítače
více ...
9
učící se systémy
8
formální jazyky
8
zpracování přirozených jazyků
7
formální gramatiky
7
logické programování
7
software
5
algoritmizace
5
simulace a modelování
4
matematické modely
4
matematické programování
4
svazy
4
zpracování dat
3
Booleova algebra
3
algebra
3
kombinatorika
3
matematická lingvistika
3
programovací jazyky
3
reprezentace znalostí
3
sémantika programovacích jazyků
3
teorie důkazů
3
znalostní systémy
3
řízení v reálném čase
2
automatizované řešení problémů
2
automaty
Zobrazit vše ...
méně ...
×
Načítá se...