|
|
Richards, T.
Clausal from logic [Text] : an introd.to the logic of computer reasoning / T. Richards. - New York : Addison-Wesley, 1990. - 359 c. - Б. ц.
Перевод заглавия: 0 ^aВведение в логику рассуждений ЭВМ
Перевод заглавия: 0 ^aВведение в логику рассуждений ЭВМ
Кл.слова (ненормированные):
0 ; логика; ЭВМ
Свободных экз. нет
|
|