Логика и компьютер : Моделирование рассуждений и проверка правильности программ / Н.А. Алешина, А.М. Анисов, П.И. Быстров и др. ; Науч. ред. Е.Д. Смирнова ; АН СССP.
Material type:
- 5020071560
Item type | Current library | Collection | Call number | Status | Notes | Barcode | |
---|---|---|---|---|---|---|---|
![]() |
Fundamental Scientific Library | General | 681.3.06:510.6 (Browse shelf(Opens below)) | Available | 30 Days Loan | 120623939 | |
![]() |
Fundamental Scientific Library | General | 681.3.06:510.6 (Browse shelf(Opens below)) | Available | 30 Days Loan | 120628318 |
Авт. указаны на обороте тит. л.
Библиогр.: с. 231-235 (52 назв.)
There are no comments on this title.
Log in to your account to post a comment.