Zobrazuji výsledky
1 - 20
z
115
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
učebnice
AND
sborníky konferencí
Doporučená témata:
programování
PSH:
NOT
podnikové informační systémy
NOT
symbolické výpočty
AND
matematická logika
Autor:
NOT
Horváth, Zoltán
NOT
Voronkov, Andrei
Zrušit filtry
Zobrazit filtry (8)
Žánr:
NOT
učebnice
AND
sborníky konferencí
Doporučená témata:
programování
PSH:
NOT
podnikové informační systémy
NOT
symbolické výpočty
AND
matematická logika
Autor:
NOT
Horváth, Zoltán
NOT
Voronkov, Andrei
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
115
programování
informatika
99
formální jazyky
74
softwarové inženýrství
73
programovací jazyky
69
počítače
60
více ...
umělá inteligence
55
robotika
37
algoritmizace
29
operační systémy
28
diskrétní matematika
8
počítačová bezpečnost
6
software
6
vyhledávání v datech
5
agenti
4
multiagentní systémy
4
počítačová architektura
4
algebra
3
počítačová simulace
3
XML
2
kombinatorika
2
logické programování
2
ontologie (informatika)
2
počítačová věda
2
programovací jazyk Java
2
programovací jazyk JavaScript
2
symbolická logika
2
sémantický web
2
testování
2
méně ...
Zobrazuji výsledky
1 - 20
z
115
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 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:
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:
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:
Temporal logic : 1. International Conference, ICTL '94 Bonn, Germany, July 11-14, 1994. Proceedings
Vydáno:
1994
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Logic and computer science
Vydáno:
1990
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Programming languages and systems : 4th Asian symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006 : proceedings
Vydáno:
2006
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Logic for programming, artificial intelligence, and reasoning : 12th international conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005 : proceedings
Vydáno:
2005
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Types for proofs and programs : international workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004 : revised selected papers
Vydáno:
2006
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Discrete mathematics and theoretical computer science : 4th international conference, DMTCS 2003, Dijon, France, July 2003 : proceedings
Vydáno:
2003
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
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...
Plný text
Kniha
Uloženo v:
Foundations of software science and computational structures : 11th international conference, FOSSACS 2008, held as part of the Joint European conferences on theory and practice of...
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Functional and logic programming : 11th international symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012 : proceedings
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Recent trends in algebraic development techniques : 17th international workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004 : revised selected papers
Vydáno:
2005
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Computer aided verification : 20th international conference, CAV 2008, Princeton, NJ, USA, July 7-14, 2008 : proceedings
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
NASA formal methods : 7th international symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015 : proceedings
Vydáno:
2015
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Teaching formal methods : second international conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009 : proceedings
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Logic-based program synthesis and transformation : 18th international symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008 : revised selected papers
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Programming languages and systems : 4th Asian symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006: proceedings
Vydáno:
2006
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Logics in artificial intelligence : 11th European conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008 : proceedings
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
1
2
3
4
5
6
Další »
[6]
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Zpět
Upřesnit hledání
Sbírka
115
NTK
Médium
101
E-kniha
14
Kniha
Signatura
14
Q - Věda
Autor
101
SpringerLink (online služba)
8
Voronkov, Andrei, 1959-
3
Kobayashi, Naoki, 1968-
3
Paulin-Mohring, Christine, 1962-
3
Vidal, Germán
2
Berardi, Stefano
více ...
2
Calude, Cristian, 1952-
2
Damiani, Ferruccio
2
Etalle, Sandro
2
Fiadeiro, José Luiz, 1961-
2
Filliâtre, Jean-Christophe
2
Gupta, Gopal, 1963-
2
Hagiya, Masami, 1957-
2
Kroening, Daniel
2
Liu, Zhiming, 1972-
2
Peña, Ricardo, 1950-
2
Qin, Shengchao
2
Torroni, Paolo
2
Werner, Benjamin
2
Železný, Filip, 1974-
1
Alpuente, María
1
Altenkirch, Thorsten, 1962-
1
Amadio, Roberto M.
1
Armando, Alessandro
1
Audebaud, Philippe
1
Baader, Franz, 1959-
1
Bartocci, Ezio
1
Beckert, Bernhard
1
Bensalem, Saddek
1
Berghammer, Rudolf, 1952-
Zobrazit vše ...
méně ...
Jazyk
115
angličtina
Žánr
sborníky konferencí
101
elektronicke knihy
Rok vydání
Od:
do:
PSH
matematická logika
115
programování
99
informatika
74
formální jazyky
73
softwarové inženýrství
69
programovací jazyky
více ...
60
počítače
55
umělá inteligence
37
robotika
29
algoritmizace
28
operační systémy
6
počítačová bezpečnost
6
software
5
vyhledávání v datech
4
agenti
3
algebra
3
počítačová simulace
2
XML
2
kombinatorika
2
logické programování
2
programovací jazyk Java
2
programovací jazyk JavaScript
2
sémantický web
2
testování
2
vestavěné systémy
1
SQL
1
architektura výpočetních systémů
1
bioinformatika
1
dotazovací jazyky
1
hardware
Zobrazit vše ...
méně ...
×
Načítá se...