Алгоритм машинного поиска естественного логического вывода в исчислении высказываний / Н. А. Шанин, Г. В. Давыдов, С. Ю. Маслов и др. ; Акад. наук СССР. Матем. ин-т им. В. А. Стеклова. Ленингр. отд-ние.
Material type:
Text Ленинград : Наука. [Ленингр. отд-ние] , 1965
| Item type | Current library | Call number | Copy number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|---|
წიგნი
|
ეროვნული სამეცნიერო ბიბლიოთეკა 1 საცავი. 1 კორპ. | 518.5+164 (Browse shelf(Opens below)) | 3R32860 | შესამოწმებელია | 2022-30350 | ||
|
წიგნი
|
ეროვნული სამეცნიერო ბიბლიოთეკა 1 საცავი. 1 კორპ. | 518.5+164 (Browse shelf(Opens below)) | 3R32932 | შესამოწმებელია | 2022-30348 |
Browsing ეროვნული სამეცნიერო ბიბლიოთეკა 1 shelves, Shelving location: საცავი. 1 კორპ. Close shelf browser (Hides shelf browser)
There are no comments on this title.
Log in to your account to post a comment.