Zobrazuji výsledky
1 - 20
z
246
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
Žánr:
NOT
biografie
PSH:
NOT
architektura
AND
počítače
Doporučená témata:
NOT
počítačová grafika
NOT
umělá inteligence
AND
matematická logika
Autor:
NOT
Mezinárodní agentura pro atomovou energii
Zrušit filtry
Zobrazit filtry (7)
Žánr:
NOT
biografie
PSH:
NOT
architektura
AND
počítače
Doporučená témata:
NOT
počítačová grafika
NOT
umělá inteligence
AND
matematická logika
Autor:
NOT
Mezinárodní agentura pro atomovou energii
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
počítače
246
informatika
216
softwarové inženýrství
102
programovací jazyky
96
algoritmizace
90
formální jazyky
88
více ...
programování
60
diskrétní matematika
19
operační systémy
17
bioinformatika
15
počítačová simulace
10
počítačová věda
9
algebra
8
počítačová bezpečnost
7
kryptografie
6
algoritmy
5
podnikové informační systémy
5
matematika
4
numerická analýza
4
aplikační programy
3
distribuované informační systémy
3
matematická statistika
3
teorie informace
3
vestavěné systémy
3
Petriho sítě
2
agenti
2
architektura výpočetních systémů
2
logika
2
matematická lingvistika
2
méně ...
Zobrazuji výsledky
1 - 20
z
246
pro vyhledávání '
'
, doba hledání: 0,06 s.
Upřesnit hledání
Seřadit podle
Relevance
Data sestupně
Data vzestupně
Signatury
Autora
Názvu
Higher Order Logic Theorem Proving and Its Applications : 8th international workshop, Aspen Grove, UT, USA, September 11-14, 1995. Proceedings
Vydáno:
1995
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Theorem proving with analytic tableaux and related methods : 4th International Workshop, TABLEAUX'95 Schloss Rheinfels, St.Goar, Germany May 7-10, 1995. Proceedings
Vydáno:
1995
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Spectral techniques in digital logic
Autor
Hurst, Stanley Leonard
Vydáno:
1985
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Theorem proving in higher order logics : 9th international conference, TPHOLs'96, Turku, Finland, August 26-30, 1996. Proceedings
Vydáno:
1996
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Metamathematics, machines, and Gödel's proof
Autor
Shankar, N.
Vydáno:
1997
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Theorem proving in higher order logics : 10th international conference, TPHOLs '97, Murray Hill, NJ, USA, August 19-22, 1997. Proceedings
Vydáno:
1997
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Computational logic and proof theory : 5th Kurt Gödel Colloquium, KGC '97, Vienna, Austria, August 25-29, 1997. Proceedings
Vydáno:
1997
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Structures in logic and computer science : A selection of essays in honor of A. Ehrenfeucht
Vydáno:
1997
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Logika pro kurs automatizovaných systémů
Autor
Bek, Roman, 1924-
Vydáno:
1980
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Computer science logic : 9th international workshop, CSL '95, annual conference of the EACSL, Paderborn, Germany, September 22-29, 1995. Selected papers
Vydáno:
1996
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Theorem proving in higher order logics : 11th international conference, TPHOLs '98, Canberra, Australia, September 27 - October 1, 1998. Proceedings
Vydáno:
1998
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Computer science logic : 11th international workshop, CSL '97, annual conference of the EACSL, Aarhus, Denmark, August 23-29, 1997. Selected papers
Vydáno:
1998
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Computer science logic : 12th international workshop, CSL'98. Annual conference of the EACSL, Brno, Czech Republic, August 24-28, 1998. Proceedings
Vydáno:
1999
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Computer science logic : 13th international workshop, CSL '99. 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999. Proceedings
Vydáno:
1999
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Theorem proving in higher order logics : 12th international conference, TPHOLs '99, Nice, France, September 14-17, 1999. Proceedings
Vydáno:
1999
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Generalized quantifiers and computation : 9th European Summer School in Logic, Language, and Information ESSLLI '97 workshop Aix-en-Provence, France, August 11-22, 1997. Revised le...
Vydáno:
1999
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Computational logic : CL 2000. First international conference, London, UK, July 24-28, 2000. Proceedings
Vydáno:
2000
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Computer science logic : 14th international workshop, CSL 2000, annual conference of the EACSL, Fischbachau, Germany, August 21-26, 2000. Proceedings
Vydáno:
2000
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Theorem proving in higher order logics : 13th international conference, TPHOLs 2000, Portland, OR, USA, August 14-18, 2000. Proceedings
Vydáno:
2000
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Natural language processing and information systems : 5th International Conference on Applications of Natural Language to Information Systems. NLDB 2000, Versailles, France, June 2...
Vydáno:
2001
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
1
2
3
4
5
6
7
8
9
10
11
Další »
[13]
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Zpět
Upřesnit hledání
Sbírka
246
NTK
Médium
214
E-kniha
32
Kniha
Signatura
31
Q - Věda
1
T - Technologie
Autor
214
SpringerLink (online služba)
7
Potapov, Igor
7
Rozenberg, Grzegorz
7
Salomaa, Arto
6
Păun, Gheorghe
4
Cooper, S. B. (S. Barry), 1943-2015
více ...
4
Kutrib, Martin
4
Löwe, Benedikt
4
Nerode, Anil, 1932-
4
Ong, Luke
4
Queiroz, Ruy J. G. B. de
4
Thomas, Wolfgang, 1947-
3
Durand, Bruno
3
Ibarra, Oscar H., 1941-
3
Karhumäki, Juhani, 1949-
3
Palamidessi, Catuscia
3
Priami, Corrado
3
Reis, Rogério
3
Rozenberg, Grzegorz, 1942-
2
Alt, Helmut, 1950-
2
Beklemishev, Lev D.
2
Bensalem, Saddek
2
Boer, Frank S. de
2
Bozapalidis, Symeon
2
Calude, Cristian S
2
Cavalcanti, Ana
2
Cerone, Antonio
2
Coecke, Bob, 1968-
2
Diekert, Volker, 1955-
2
Dinneen, Michael J
Zobrazit vše ...
méně ...
Jazyk
245
angličtina
1
čeština
Žánr
215
elektronicke knihy
102
sborníky konferencí
11
sborníky
6
eseje
4
monografie
1
učebnice vysokých škol
Rok vydání
Od:
do:
PSH
246
matematická logika
počítače
216
informatika
102
softwarové inženýrství
96
programovací jazyky
90
algoritmizace
více ...
88
formální jazyky
60
programování
17
operační systémy
15
bioinformatika
10
počítačová simulace
8
algebra
7
počítačová bezpečnost
6
kryptografie
5
podnikové informační systémy
4
matematika
4
numerická analýza
3
aplikační programy
3
matematická statistika
3
teorie informace
3
vestavěné systémy
2
Petriho sítě
2
agenti
2
architektura výpočetních systémů
2
logika
2
matematická lingvistika
2
programovací jazyk Java
2
programovací jazyk JavaScript
2
software
2
systémy řízení báze dat
Zobrazit vše ...
méně ...
×
Načítá se...