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:
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Internet