Логика и компьютер: Моделирование рассуждений и проверка правильности программ / [Н. А. Алешина [и др.]];Академия наук СССР .
Material type: TextLanguage: Russian Series: Кибернетика - неограниченные возможности и возможности ограниченияPublication details: Москва: Наука, 1990.Description: 238 с. ил. 20 смISBN:- 5020071560
Item type | Current library | Call number | Copy number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|---|
წიგნი | ეროვნული სამეცნიერო ბიბლიოთეკა 2 კორპ. 2, საცავი | 510.6 (Browse shelf(Opens below)) | 2K6141 | Available | 2017-270396 |
Библиогр.: с. 231-234.
There are no comments on this title.
Log in to your account to post a comment.