Логика и компьютерМоделирование рассуждений и проверка правильности программ / Академия Наук СССР; под ред. И. М. Макарова
Language: русский.Country: Россия.Publication: Москва : Наука, 1990Description: 240 с.ISBN: 5020071560.Series: Кибернетика: неограниченные возможности и возможные ограниченияBibliography: Библиогр.: с. 231-235..Subject: логика | компьютеры | рассуждения | моделирование | программы | проверки| Cover image | Item type | Current library | Home library | Collection | Shelving location | Call number | Materials specified | Vol info | URL | Copy number | Status | Notes | Date due | Barcode | Item holds | Item hold queue priority | Course reserves | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Books | НТБ ТПУ Научный фонд | 90-7920 | Available | 13821000708140 | ||||||||||||||
| Books | НТБ ТПУ Научный фонд | 91-2493 | Available | 13821000636842 |
Total holds: 0
Библиогр.: с. 231-235.
There are no comments on this title.
Log in to your account to post a comment.