MATEMATIČESKAJA LOGIKA I AVTOMATIČESKOJE DOKAZATEĽSTVO TEOREM /

Uloženo v:
Podrobná bibliografie
Hlavní autor: Chang, Chin-Liang
Další autoři: Lee, Richard char-tung, Maslov, S. Ju (Editor)
Médium: Kniha
Jazyk:ruština
Vydáno: Moskva : Nauka, 1983
On-line přístup: Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

MARC

LEADER 00000nam a2200000 4500
003 SK-BrCVT
005 20220617115445.0
008 880101s1983 rur e ||||||rus d
035 |a CVTIDW0870462 
040 |b slo  |a CVTI SR 
041 0 |a rus 
044 |a rur 
080 |a 510.6  |2 UDC-MRF 
080 |a 519.6  |2 UDC-MRF 
100 1 |a Chang, Chin-Liang 
242 1 0 |a MATEMATICKÁ LOGIKA A AUTOMATICKÉ DôKAZY VIET 
245 1 0 |a MATEMATIČESKAJA LOGIKA I AVTOMATIČESKOJE DOKAZATEĽSTVO TEOREM /  |c Chin-Liang Chang, Richard char-tung Lee ; Red.: S. Ju. Maslov 
260 |a Moskva :  |b Nauka,  |c 1983 
300 |a 358 S. :  |b lit., obr. ; 
692 |a Pc Sm JM 
700 1 |a Lee, Richard char-tung 
700 1 |a Maslov, S. Ju.  |4 edt 
910 |b A473927  |b A430468 
974 |f Knihy 
992 |a AMG 
999 |c 18341  |d 18341 

Podobné jednotky