Математическая логика и автоматическое доказательство теорем

Номзүйн дэлгэрэнгүй
Үндсэн зохиолч: Чень Ч., Ли Р.
Формат: Ном
Хэл сонгох:Russian
Хэвлэсэн: М Наука 1983
Нөхцлүүд: