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