Souborný katalog AV ČR
Odhlásit
Přihlášení
Jazyk
English
Čeština
Instituce
Knihovna AV ČR
Souborný katalog AV ČR
Archiv AV ČR
Archeologický ústav
Archeologický ústav Brno
Archeologický ústav Praha
Astronomický ústav
Biofyzikální ústav
Botanický ústav
Centrum medievistických studií
Centrum výzkumu globální změny
Etnologický ústav
Filosofický ústav
Fyzikální ústav
Fyziologický ústav
Geofyzikální ústav
Geologický ústav
Historický ústav
Masarykův ústav
Matematický ústav
Orientální ústav
Psychologický ústav
Slovanský ústav
Sociologický ústav
Ústav analytické chemie
Ústav anorganické chemie
Ústav dějin umění
Ústav fotoniky a elektroniky
Ústav fyzikální chemie J. Heyrovského
Ústav fyziky atmosféry
Ústav fyziky materiálů
Ústav geoniky
Ústav chemických procesů
Ústav informatiky
Ústav jaderného výzkumu
Ústav makromolekulární chemie
Ústav pro českou literaturu
Ústav pro hydrodynamiku
Ústav pro jazyk český
Ústav pro soudobé dějiny
Ústav přístrojové techniky
Ústav státu a práva
Ústav struktury a mechaniky hornin
Ústav teoretické a aplikované mechaniky
Ústav teorie informace a automatizace
Výzkumné centrum pro dějiny vědy
×
Všechna pole
Název
Autor
Předmět
Signatura
Čárový kód
ISBN/ISSN
Systémové číslo
Konspekt
Hledat
Pokročilé vyhledávání
Autor
Chang, Chin-Liang
Zobrazeno
1
-
5
of
5
pro vyhledávání:
'Chang, Chin-Liang'
Řazení
podle relevance
od nejnovějšího
od nejstaršího
podle autora
podle názvu
Vybrat vše | Vybrané výsledky:
Poslat e-mailem
Exportovat
Vytisknout
Vybrat výsledek číslo 1
1
Matematičeskaja logika i avtomatičeskoje dokazatel'stvo teorem /
Autor
Chang, Chin-Liang
Vydáno: 1983
Kniha
načítá se...
Vybrat výsledek číslo 2
2
Symbolic Logic and Mechanical Theorem Proving /
Autor
Chang, Chin-Liang
Vydáno: 1973
Kniha
načítá se...
Vybrat výsledek číslo 3
3
Matematičeskaja logika i avtomatičeskoje dokazatel'stvo teorem /
Autor
Chang, Chin-Liang
Vydáno: 1983
Kniha
načítá se...
Vybrat výsledek číslo 4
4
Matematičeskaja logika i avtomatičeskoje dokazatel'stvo teorem = Symbolic logic and mechanical theorem proving /
Autor
Chang, Chin - Liang
Vydáno: 1983
Kniha
načítá se...
Vybrat výsledek číslo 5
5
Matematičeskaja logika i avtomatičeskoje dokazatelstvo teorem /
Autor
Čeň, Č.
Vydáno: 1983
Další autoři:
Kniha
načítá se...
Vybrat vše | Vybrané výsledky:
Poslat e-mailem
Exportovat
Vytisknout
Vyhledávací nástroje:
RSS
Poslat e-mailem
Upřesnit vyhledávání
Rozšiřující filtry
Zahrnout články
Možnost výpůjčky
2
MU.absent
1
FGU.present
1
UFCH.absent
1
UFE.absent
Typ dokumentu
5
Kniha
Autor
4
Chang, Chin-Liang
4
Lee, Richard Char-Tung
1
Chang, Chin - Liang
1
Li, P.
1
Čeň, Č
Jazyk
4
angličtina
4
ruština
Žánr
2
monografie
Rok vydání
Od:
do:
×
načítá se......
