National Science Library of Georgia

Refine your search

Your search returned 269 results.

Sort
Results
Логика, алгебра и базы данных / Питер Грэй ; Перевод с анг. Х. И. Килова. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: Russian Москва : Машиностроение, 1989
Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1).
Исследования по современной индуктивной логике : АН СССР. Ин-т философии ; Сост. Б. Н. Пятницын. Сборник статей / by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: Russian Москва : ИФАН, 1989
Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1).
Логические задачи [Текст] : [учеб. для гуманит. спец. вузов] / В. Н. Мельников . by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: Russian Киев: Одесса Выща шк. , 1989
Availability: Items available for loan: ეროვნული სამეცნიერო ბიბლიოთეკა 2 (1)Call number: 510.6(075).
Всесоюзная конференция по прикладной логике, 2-е . Новосибирск, 7-9 июня 1988г. : АН СССР. Ин-т кибернетики. Тезисы докладов / by
Material type: Text Text; Format: print
Language: Russian Новосибирск, 1988
Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (2).
Вопросы математической логики и теории алгоритмов : Сборник трудов / АН СССР. ВЦ ; Отв. ред.: Н. М. Нагорный. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: Russian Москва : ВЦ АН СССР, 1988
Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (2).
Теория моделей и ее применения : 1988 / Под ред. Ю. Л. Ершов ;Тр.Ин-т математики ; АН СССР. Сиб. отд. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: Russian Новосибирск : Наука,
Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1).
Что такое нестандартный анализ? / Владимир Успенский. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: Russian Москва : Наука, 1987
Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1).
Математическая логика : учеб. пособие для математических специальностей вузов , Ю. Л. Ершов, Е. А. Палютин . by
Edition: 2-е изд. испр. и доп.
Material type: Text Text; Format: print ; Nature of contents: patent ; Literary form:
Language: Russian
Publication details: Москва: Наука, 1987
Availability: Items available for loan: ეროვნული სამეცნიერო ბიბლიოთეკა 2 (1)Call number: 510.6(075.8).
Методы логических исследований : Сборник / АН ГССР, Ин-т философии; [Отв. ред. З. Н. Микеладзе]. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: Russian Тбилиси : Мецниереба, 1987
Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (4).
О сложности выводов в арифметических теориях : автореферат ... кандидата физико-математических наук : 01.01.06. / Е. С. Божич. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Москва, 1987
Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1).
Recursively enumerable sets and degrees : a study of computable functions and computably generated sets / Robert I. Soare. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin ; New York : Springer-Verlag, c1987
Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1).
Теория дедуктивных систем и ее применения / Сергей Маслов. by Series: Кибернетика
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: Russian Москва : Радио и связь, 1986
Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (2).
Логическая тетрадь : АН СССР. Сиб. отд-ние. Ин-т математики ; Ред. Ю. Л. Ершов, С. С. Гончаров. Нереш. вопр. мат. логики / by
Edition: 2-е изд.
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: Russian Новосибирск, 1986
Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (2).
Исследования по математической логике и теории алгоритмов / Тбил. ун-т ; Ин-т прикладной математики им. И. Н. Векуа. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: Russian Тбилиси : Изд-во ун-та, 1985
Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1).
Автоматизация решения логико-комбинаторных задач : Сборник науч. трудов / АН Белор. ССР. Ин-т техн. кибернетики. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: Russian Минск, 1985
Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (2).
Pages
Not finding what you're looking for?
Copyright © 2023 Sciencelib.ge All rights reserved.