Automated Deduction in multiple-valued Logics

Зохиогч: Hahnle R.


Гаралтын мэдээ: Америк Clarendon Press 1993

Шифр: 22.1/H-11.
Номын сан:
Гадаад фонд (1).



Бэлэн (1).

Номын байршил
МУИС-ийн номын сан catalog › Details for: Automated Deduction in multiple-valued Logics
Номын сангийн нэр Дансны дугаар Төлөв Санамжууд Буцаах огноо
Гадаад фонд
10928 Бэлэн Ганц хувь тул гэрээр олгох боломжгүй.