Алгоритм машинного поиска естественного логического вывода в исчислении высказываний / (Record no. 572281)
[ view plain ]
| 000 -ლიდერი | |
|---|---|
| ფიქსირებული სიგრძის საკონტროლო ველი | 00599nam a2200085 4500 |
| 008 - ფიქსირებული სიგრძის მონაცემები--ზოგადი ცნობები | |
| ფიქსირებული სიგრძის საკონტროლო ველი | 220314s1965 ru ||||| |||| 00| 0 rus d |
| 080 ## - UDC | |
| UDC | 518.5+164 |
| 245 ## - ცნობა სათაურზე | |
| სათაური | Алгоритм машинного поиска естественного логического вывода в исчислении высказываний / |
| ცნობა პასუხისმგებლობის და ასშ შესახებ | Н. А. Шанин, Г. В. Давыдов, С. Ю. Маслов и др. ; Акад. наук СССР. Матем. ин-т им. В. А. Стеклова. Ленингр. отд-ние. |
| 264 ## - გამოცემის, წარმოების, დისტრიბუციის ცნობები | |
| გამოცემის, წარმოების, დისტრიბუციის... ადგილი | Ленинград : |
| გამოცემის, წარმოების, დისტრიბუციის... სახელწოდება | Наука. [Ленингр. отд-ние] , |
| გამოცემის, წარმოების, დისტრიბუციის... თარიღი | 1965. |
| ჩამოწერის სტატუსი | დაკარგვის სტატუსი | კლასიფიკაციის ან თაროზე გაწყობის წყარო | დაზიანების სტატუსი | Koha normalized classification for sorting | არ გაიცემა | ადგილმდებარეობა (ბიბლიოთეკა - შენახვის ადგილი) | დროებითი ადგილმდებარეობა (ბიბლიოთეკა - შენახვის ადგილი) | თაროზე განთავსების ადგილი | შემოსვლის თარიღი | Koha გაცემები (რამდენჯერ) | Koha სრული შენახვის შიფრი | ობიექტის მსაზღრელი (შტრიხკოდი) | Koha ბოლო ოპერაციის დრო | ეგზემპლარის მიმდევრობითი ნომერი (კეტერი?) | ფასის დაფიქსირების თარიღი | Koha დოკუმენტის სახეობა |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| შესამოწმებელია | Universal Decimal Classification | 5185164 | ეროვნული სამეცნიერო ბიბლიოთეკა 1 | ეროვნული სამეცნიერო ბიბლიოთეკა 1 | საცავი. 1 კორპ. | 14.03.2022 | 518.5+164 | 2022-30348 | 14.03.2022 | 3R32932 | 14.03.2022 | წიგნი | ||||
| შესამოწმებელია | Universal Decimal Classification | 5185164 | ეროვნული სამეცნიერო ბიბლიოთეკა 1 | ეროვნული სამეცნიერო ბიბლიოთეკა 1 | საცავი. 1 კორპ. | 14.03.2022 | 518.5+164 | 2022-30350 | 14.03.2022 | 3R32860 | 14.03.2022 | წიგნი |