Բեռնվում է…

Логика и компьютер : Моделирование рассуждений и проверка правильности программ /

Պահպանված է:

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

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