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
Publikace dané osoby
Gopalakrishnan, Ganesh
Biografické údaje:
Odborník v oblasti počítačové vědy, působí v USA.
Zdroj:
Slind K. - Bunker, A. - Gopalakrishnan, G.: Theorem proving in higher order logics
LC(Names)
Další informace:
Publikace dané osoby
3
Publikace o dané osobě
0
Metadata
Podrobné výsledky >>
Computation engineering : applied automata theory and logic
Formal methods in computer-aided design : second international conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998. Proceedings
Theorem proving in higher order logics : 17th international conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004 : proceedings
Publikace dané osoby
×
Načítá se...