číslo produktu:21384
rezervujMatematičeskaja logika i avtomatičeskoe dokazateľstvo teorem
Rok vydania: 1983
Vydavateľ: Nauka
Kniha je momentálne nedostupná.
V prípade dlhodobého záujmu si urobte REZERVÁCIU a my vám odložíme žiadaný kus.
O knihe:
Nie je dostupný popis o knihe.
Zaradenie do kategórii:
Podrobnosti o titule (výrobné údaje):
Väzba: tvrdá
Orientačná váha: 438 g
Náklad: 8500 ks
Jazyk: ru
Originálny názov: Symbolic logic and mechanical theorem proving
Preklad: A, V. Sočilinoj, G. E. Minca, G. V. Davydova