Zobrazuji výsledky
1 - 8
z
8
pro vyhledávání '
Nipkow, Tobias
'
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í
Hlavní strana
Autor
Nipkow, Tobias
Zobrazuji výsledky
1 - 8
z
8
pro vyhledávání '
Nipkow, Tobias
'
, doba hledání: 0,04 s.
Upřesnit hledání
Seřadit podle
Relevance
Data sestupně
Data vzestupně
Signatury
Autora
Názvu
Isabelle/HOL : a proof assistant for higher-order logic
Autor
Nipkow
,
Tobias
Vydáno:
2002
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Concrete Semantics : With Isabelle/HOL
Autor
Nipkow
,
Tobias
Vydáno:
2014
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Rewriting techniques and applications : 9th international conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998 : proceedings
Vydáno:
1998
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Automated reasoning : first international joint conference, IJCAR 2001, Siena, Italy, June 18-22, 2001. Proceedings
Vydáno:
2001
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
FM 2006: formal methods : 14th International symposium on formal methods, Hamilton, Canada, August 21-27, 2006 : proceedings
Vydáno:
2006
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Types for proofs and programs : International workshop TYPES '93 Nijmegen, the Netherlands, May 24-28, 1993. Selected papers
Vydáno:
1994
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Theorem Proving in Higher Order Logics : 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
FM 2006 : formal methods : 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006 : proceedings
Vydáno:
2006
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Související témata
informatika
matematická logika
programovací jazyky
programování
softwarové inženýrství
algoritmizace
algoritmy (programování)
logické programování
matematické programování
operační systémy
počítače
počítačová bezpečnost
počítačové programy
přepisující systémy
simulace a modelování
software
teorie dat
umělá inteligence
verifikace programu
×
Načítá se...