Применение методов математической логики : IV всесоюзная конференция : секция "Представление знаний и синтез программ" : тезисы докладов

Доступен на авторизованном компьютере Национальной библиотеки Эстонии, Архивной библиотеки Эстонского литературного музея, библиотеки Таллиннского технического университета, библиотеки Тартуского университета u Академической библиотеки Таллиннского университета

Доступно в сети Национальной библиотеки Эстонии

Открытый доступ ограничен

Применение методов математической логики : IV всесоюзная конференция : секция "Представление знаний и синтез программ" : тезисы докладов

Редактор: Grigori Mints, Peeter Lorents, Автор: Küberneetika Instituut, всесоюзная конференция Применение методов математической логики

технические данные

Издатель:: Академия наук Эстонской ССР
Год издания:: 1986
Язык:: русский
Депозитор:: Eesti Rahvusraamatukogu
Заметка:: Fujitsu fi-7180, Zeutschel OS 14000

Тип:: книга

: Защищены авторским правом дo 01.01.2057
ESTER: b12464934
ISBN: 9789916540114 (pdf)

Ссылка: http://www.digar.ee/id/nlib-digar:914511

СМОТРИ ТАКЖЕ

Минуточка : Песенка Лира
Nikolai Jasnetski - restauraator ja kunstnik : näituse kataloog : 20.1... Nadežda Katajeva-Valk
Четвертая сессия Верховного Совета Эстонской ССР шестого созыва, 11-12... Eesti NSV Ülemnõukogu 6(1963-1967). Istungjärk
Доклад Подготовительной комиссии для составления общего плана застройк... Ревельская городская управа, Ревельская городская подготовительная комиссия для составления общего плана застройки г. Ревеля
Gustav Raud : [näituse kataloog] : Tartu, oktoober-november 1962 Tartu Kunstnike Maja, Eesti NSV Kunstnike Liit, Eesti NSV Kunstifond, tööde näitus Gustav Raud
Иосиф Бродский в северной ссылке: поэтика автобиографизма ; 14 (Disser... Вадим Семенов, Tartu Ülikool. Vene ja slaavi filoloogia osakond
Охрана и культура детского голоса Иосиф Ионович Левидов
Eesti Kontsert
Доклад Комиссии по вопросу об отыскании места для свалки нечистот Ревельская городская комиссия для отыскания места для свалки нечистот
Вузы и научная работа : töökeskkonnajuhend = руководство по рабочей ср... Eesti. Sotsiaalministeerium
Право Советской России. Вып. 2 : сборник статей, составленный профессо... Н. Н. Алексеев, С. В. Завадский, А. В. Маклецов, Николай Сергеевич Тимашев
Grafikatööliste Selts : Abiandmise määrused = Общество рабочих графиче... Graafikatööliste Selts
Руководство для родителя : информация и поддержка для разводящихся сем...
Мошеничество по уголовному уложениию Дмитрий Африканович Червонецкий
Диабет у детей и подростков Юлле Эйнберг, Рийна Схор, Маре Пааль, Кайре Хейльман, Наталья Лийвак, Марика Ватман, Пирет Лоометс, Вийве Няслунд, Ирене Маанди, Кристи Пеэгель, Бритт Петъярв, Сигрид Воробьев, Enertan (osaühing)
От кубизма и футуризма к супрематизму : новый живописный реализм Казимир Северинович Малевич
Azerbaijan - Turkey proceedings of the first international scientific-... Education & Training Center (London) International Research, Haridus- ja Koolituskeskus Rahvusvaheline Teadus-, İzmir) Aspendos Academy (Turkey, prognoses and solutionsinternational scientific-practical virtual conference Science and technology in modern society: problems
Дополнительные правила к Положению о крестьянах Эстляндской губернии 1...
Легочный и внелегочный туберкулез : Эстонское руководство для пациенто... Eesti Haigekassa
Гусли : Русския и эстския гимны, хоралы и народныя песни для начальных... Mihhail Glinka, Jaak Järv, Johann Christian Heinrich Rinck