Алгоритм машинного поиска естественного логического вывода в исчислении высказиваниий / И.Яглом.
Material type: TextLanguage: Russian Москва, 1965Description: 39 сSubject(s):Item type | Current library | Call number | Copy number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|---|
წიგნი | ეროვნული სამეცნიერო ბიბლიოთეკა 1 საცავი. 1 კორპ. | 512.563 (Browse shelf(Opens below)) | 3R32932 | შესამოწმებელია | 2016-15454 |
There are no comments on this title.
Log in to your account to post a comment.