Բեռնվում է…

Математическая логика и автоматическое доказательство теорем : Пер. с англ. /

Պահպանված է:

Մատենագիտական մանրամասներ
Հիմնական հեղինակ:	Чень, Ч.
Այլ հեղինակներ:	Ли, Р., Давыдов, Г.В (Թարգմանիչ, пер.), Минц, Г.Е (Թարգմանիչ, пер.), Сочилина, А.В (Թարգմանիչ, пер.), Маслов, С.Ю (Խմբագիր, ред.)
Ձևաչափ:	Գիրք
Լեզու:	Russian English
Հրապարակվել է:	Москва : Наука. Гл. ред. физ.-мат. лит., 1983.
Շարք:	Математическая логика и основания математики
Խորագրեր:	Математическая логика
Ցուցիչներ:	Ավելացրեք ցուցիչ Չկան պիտակներ, Եղեք առաջինը, ով նշում է այս գրառումը!

Նմանատիպ նյութեր