Sample records for logic mathematics
from WorldWideScience.org

Sample records 1 - 20 shown. Select sample records:



1

Intensional mathematics Studies in logic and the foundations of math. 0 ^aИнтенсиональные математики. Исследования в области логики и основ математики. N 113 North-Holland Библиогр. в конце статей

Shapiro, S

Вид документа : Однотомное издание Шифр издания : K Заглавие : Intensional mathematics Выходные данные : Amsterdam et al: North-Holland, 1985 Колич.характеристики :230 с Серия: Studies in logic and the foundations of math.; N 113 Примечания : ; Библиогр. в конце статей ISBN, Цена 0-444-87632-4: Б.ц. ГРНТИ : ; 27.03.15 УДК : + Перейти к источнику в Интернете: Intensional mathematics Доп.точки доступа: Shapiro, S LOGIC$+MATHEMATICS$

The Russian Union Catalog of Scientific Literature (Russian)

2

Elements of logic and foundations of mathematics in problems 0 ^aЭлементы логики и основ математики в задачах Reidel, Warszawa Библиогр.: с.270. Указ.: с.271-274

Onyszkiewicz, J

Вид документа : Однотомное издание Шифр издания : K Автор(ы) : Marek W, Onyszkiewicz J Заглавие : Elements of logic and foundations of mathematics in problems Выходные данные : Dordrecht: Reidel, Warszawa, 1982 Колич.характеристики :274 с Примечания : ; Библиогр.: с.270. Указ.: с.271-274 ISBN, Цена 90-277-1084-8: Б.ц. ГРНТИ : ; 27.03.15 УДК : + Перейти к источнику в Интернете: Elements of logic and foundations of mathematics in problems Доп.точки доступа: Onyszkiewicz, J LOGIC$+MATHEMATICS$

The Russian Union Catalog of Scientific Literature (Russian)

3

Центр для нашего будущего (Экология/Организации)


2006-02-20

Тип неизвестно Полное название (официальное) Центр для нашего будущего Пр …

VINITI Projects Database (Russian)

5

Фонд по охране окружающей среды (Экология/Организации)


2006-02-20

Тип неизвестно Полное название (официальное) Фонд по охране окружающей среды …

VINITI Projects Database (Russian)

8

Том 73 (Математика/Издания)


2006-09-28

Алгебра - 8     [Первая страница] Предоставление копий   Том 73. Алгебра …

VINITI Projects Database (Russian)

10

Северный совет министров (Экология/Организации)


2006-02-20

Тип неизвестно Полное название (официальное) Северный совет министров Про …

VINITI Projects Database (Russian)

14

Промышленность строительных материалов General Problems of Mathematics. Mathematical Logic . Theory of Numbers . Algebra . Topology Geometry Использование отходов, попутных продуктов в производстве строительных материалов и изделий. Охрана окружающей среды


Шифр: М/25427 () Промышленность строительных материалов [Текст] : науч.-техн. реф. сб. Серия11, Использование отходов, попутных продуктов в производстве строительных материалов и изделий. Охрана окружающей среды/ ВНИИЭСМ. - М. : [б. и.], Б. г. - Перевод заглавия: General Problems of Mathematics. Mathematical Logic . Theory of Numbers . Algebra . Topology Geometry Зарегистрированы поступления: function DropDown(it) { el1 = document.getElementById(it); if(el1.style.display=="none") { el1.style.display="block"; } else { el1.style.display="none"; } } function loadClose() { document.all.el1.style.display="none"; } Держатели документа: ГПНТБ России LOGIC$+MATHEMATICS$

State Public Technical Library of Russia (Russian)

15

Принципиальная гидрометаллургическая технология рациональной переработки кжк образований (Экология/Статьи)


2006-02-22

Тип Статья в сериальном издании Авторы Иванков С.И. Название Принципиальная гидрометаллургическая технология рациональной переработки кобальтоносных железомаргонцевых корковых образований Рефера …

VINITI Projects Database (Russian)

17

Поиск (ГСНТИ/О проекте)


2004-12-09

$query=$_GET['query']; $org=$_GET['org']; $rub=$_GET['rub']; $sq=""; $ss='/usr/local/etc/falcon/modfrs/msearch.pl "'; if($query!="")$sq=$ss."(".$query.")"; if($org!="") { if($sq!= …

VINITI Projects Database (Russian)

21

Методические указания к выполнению контрольной работы по дисциплине

Борисоглеб. гос. пед. ин-т

Вид документа : Однотомное издание Шифр издания : . 27.01.33. 30.01.33. 29.01.33. 41.01.33. rugasnti Автор(ы) : Лободина, Л В Заглавие : Методические указания к выполнению контрольной работы по дисциплине "Математическая логика" : [метод. пособие] Выходные данные : Борисоглебск: БГПИ, 2006 Колич.характеристики :45с.: ил Коллективы : Борисоглеб. гос. пед. ин-т Примечания : ; Библиогр.: с. 44 ISBN, Цена 5-85897-312-4: р65.00 р. ГРНТИ : ; 27.01.33 УДК : + + + Предметные рубрики: МАТЕМАТИКА ЛОГИКА УЧЕБНО-МЕТОДИЧЕСКИЕ МАТЕРИАЛЫ ОБУЧЕНИЕ ЗАОЧНОЕ Ключевые слова (''Своб.индексиров.''): 1 ; математическая логика Перейти к источнику в Интернете: Методические указания к выполнению контрольной работы по дисциплине "Математическая логика", Перейти к источнику в Интернете:  Доп.точки доступа: Борисоглеб. гос. пед. ин-т LOGIC$+MATHEMATICS$

The Russian Union Catalog of Scientific Literature (Russian)

23

Международная организация по стандартизации (Экология/Организации)


2006-02-20

Тип неизвестно Полное название (официальное) Международная организация по стандартизации …

VINITI Projects Database (Russian)

24

Математика и логика для дошкольников Радуга: планирование и конспекты занятий Просвещение ; ОБУЧЕНИЕ МАТЕМАТИКЕ. MATHEMATICS INSTRUCTION ; ЛОГИКА. LOGIC ; ДЕТСКИЕ САДЫ. NURSERY SCHOOLS


Вид документа : Однотомное издание Шифр издания : . 14.23.01. 14.23.05. 14.23.07. 14.25.23. 14.01.75&14.23.21. rugasnti Автор(ы) : Соловьева, Елена Викторовна Заглавие : Математика и логика для дошкольников : метод. рекомендации для воспитателей, работающих по программе "Радуга" Выходные данные : М.: Просвещение, 2006 Колич.характеристики :124,[3]с.: ил Серия: Радуга: планирование и конспекты занятий Примечания : ; Библиогр. в конце кн ISBN, Цена 5-09-013552-5: р70.00 р. ГРНТИ : ; 14.23.01 УДК : Предметные рубрики: ОБУЧЕНИЕ МАТЕМАТИКЕ ЛОГИКА ДЕТСКИЕ САДЫ Перейти к источнику в Интернете: Математика и логика для дошкольников, Перейти к источнику в Интернете:  LOGIC$+MATHEMATICS$

The Russian Union Catalog of Scientific Literature (Russian)

25

Математика в сети Интернет (Математика/Ресурсы)


2006-06-02

    • В Московском математическом обществе • The American Mathematical Society (AMS) • Санкт-Петербургское математическое обществ …

VINITI Projects Database (Russian)

26

Логические основы математики Элективный курс. Математика Профильное обучение Дрофа 1 ; ПРОФИЛЬНОЕ ОБУЧЕНИЕ 1 ; ПРОФИЛЬНОЕ ОБУЧЕНИЕ ; МАТЕМАТИКА. MATHEMATICS ; ЛОГИКА. LOGIC ; ПЛАНЫ УРОКОВ. LESSON PLANS ; КЛАССЫ СТАРШИЕ СРЕДНЕЙ ШКОЛЫ. SECONDARY GRADES ; КЛАССЫ ПРОФИЛЬНЫЕ. PROFILE CLASSES ; КУРСЫ ЭЛЕКТИВНЫЕ. ELECTIVE COURSES 1 ; ПРОФИЛЬНОЕ ОБУЧЕНИЕ


Вид документа : Однотомное издание Шифр издания : . 14.25.09. rugasnti Автор(ы) : Гетманова, Александра Денисовна Заглавие : Логические основы математики : метод. рекомендации : 10-11 кл. . -2-е изд., стер Выходные данные : М.: Дрофа, 2006 Колич.характеристики :175, [1]с.: ил Серия: Элективный курс. Математика . Профильное обучение ISBN, Цена 5-358-00663-X: р75.00 р. ГРНТИ : ; 14.25.09 УДК : Предметные рубрики: МАТЕМАТИКА ЛОГИКА ПЛАНЫ УРОКОВ КЛАССЫ СТАРШИЕ СРЕДНЕЙ ШКОЛЫ КЛАССЫ ПРОФИЛЬНЫЕ КУРСЫ ЭЛЕКТИВНЫЕ Ключевые слова (''Своб.индексиров.''): 1 ; профильное обучение Перейти к источнику в Интернете: Логические основы математики , Перейти к источнику в Интернете:  LOGIC$+MATHEMATICS$

The Russian Union Catalog of Scientific Literature (Russian)

27

Курс лекций по математической логике АГПИ ; МАТЕМАТИКА. MATHEMATICS ; ЛОГИКА. LOGIC ; ЛЕКЦИИ. LECTURES ; ВУЗЫ ПЕДАГОГИЧЕСКИЕ. TEACHERS COLLEGES


Вид документа : Однотомное издание Шифр издания : . 27.01.33. 30.01.33. 29.01.33. 41.01.33. rugasnti Автор(ы) : Сангалова, Марина Евгеньевна Заглавие : Курс лекций по математической логике : учеб. пособие Выходные данные : Арзамас: АГПИ, 2006 Колич.характеристики :98с.: ил Примечания : ; Библиогр.: с. 98 ISBN, Цена 5-86517-278-6: р70.00 р. ГРНТИ : ; 27.01.33 УДК : + + + Предметные рубрики: МАТЕМАТИКА ЛОГИКА ЛЕКЦИИ ВУЗЫ ПЕДАГОГИЧЕСКИЕ Перейти к источнику в Интернете: Курс лекций по математической логике , Перейти к источнику в Интернете:  LOGIC$+MATHEMATICS$

The Russian Union Catalog of Scientific Literature (Russian)

28

Конференция ООН по торговле и развитию (Экология/Организации)


2006-02-20

Тип неизвестно Полное название (официальное) Конференция ООН по торговле и развитию …

VINITI Projects Database (Russian)

31

Ключевые слова (Живые системы/Информационные ресурсы)


2005-12-07

Русско-английский словарь ключевых слов в области живых системВстречающиеся латинские терминыCpG-динуклеотиды – CpG-dinucleotideCpG-островок – CpG islandS-D-последовательность -- S-D sequenc …

VINITI Projects Database (Russian)

32

Институт Острова Земля (Экология/Организации)


2006-02-20

Тип неизвестно Полное название (официальное) Институт Острова Земля Профи …

VINITI Projects Database (Russian)

33

Зарубежные научные издательства (ГСНТИ/Hidden)


2004-12-29

Специализированные, научные и технические издательства России Название издательства Страна (центральный офис) URL Виды изданий Основная тематика A O C S Press (American Oil Chemis …

VINITI Projects Database (Russian)

34

Зарубежные (англоязычные) информ. ресурсы по проблемам химической и биологической безопасности (Безопасность/Ресурсы)


2004-12-16

MEDLINE (http://www.ncbi.nlm.nih.gov/Entrez/medline.html) MEDLINE - наиболее полный источник биомедицинской информации. Она содержит более 8 млн. ссылок из 7300 различных изданий по химии, биохимии, …

VINITI Projects Database (Russian)

35

Европейский союз охраны побережий (Экология/Организации)


2006-02-20

Тип неизвестно Полное название (официальное) Европейский союз охраны побережий …

VINITI Projects Database (Russian)

40

Всемирная организация здравоохранения (Экология/Организации)


2006-02-20

Тип неизвестно Полное название (официальное) Всемирная организация здравоохранения …

VINITI Projects Database (Russian)

42

Ведущиеся и законченные открытые научно-исследовательские и опытно-конструкторские работы (ГСНТИ/Ресурсы)


2004-12-10

Название БД: Регистрация интеллектуального продукта Название автоматизированной системы: Содержание: реферативная информация о результатах творческой деятельности зарегистрированных во ВНТИЦ с 19 …

VINITI Projects Database (Russian)

43

Бюллетень международных научных съездов, конференций, конгрессов, выставок (ГСНТИ/Hidden)


2004-12-29

Бюллетень международных научных съездов, конференций, конгрессов, выставок ДАННЫЕ НА 2003 ГОД Январь Россия, Пенза Пензенский ГУ, т. (8412) Межд. телекоммуникаци- 52 4346, ф. (8412) 66 5122, …

VINITI Projects Database (Russian)

46

Александров Валерий Сергеевич (Информатика/Персоналии)


2006-02-21

Страна: Russian Federation Город: Санкт-Петербург Адрес: Московский пр., 19 Email: V.S.Alexandrov@vniim.ru Телефон: 7 (812) 316-90-73, Должность: Заместитель директора по науке Обл …

VINITI Projects Database (Russian)

47

Александров Валерий Сергеевич (Автоматика и радиоэлектроника/Персоналии)


2006-04-17

ФамилияАлександровИмяВалерийОтчествоСергеевичСтранаRUZIPГородСанкт-ПетербургАдресМосковский пр., 19emailV.S.Alexandrov@vniim.ru (mailto:V.S.Alexandrov@vniim.ru)Ключевые словаФаксТелефон7 (812) 316-90- …

VINITI Projects Database (Russian)

48

lambda calculus Studies in logic and the foundations of mathematics 0 ^aGЛ-Исчисление: Его синтаксис и семантика


Вид документа : Однотомное издание Шифр издания : K Автор(ы) : Barendregt H.P Заглавие : The lambda calculus : Its syntax and semantics Выходные данные : Amsterdam et al.: North-Holland, 1984 Колич.характеристики :621 с Серия: Studies in logic and the foundations of mathematics; Vol. 103 Цена : Б.ц. УДК : LOGIC$+MATHEMATICS$

The Russian Union Catalog of Scientific Literature (Russian)

49

introduction to Hilbert space and quantum logic Problem books in mathematics Springer квантовая механика гильбертово пространство Квантовая механика Гильбертово пространство квантовая механика гильбертово пространство


J2/21529 Cohen, D. W. An introduction to Hilbert space and quantum logic [Text] : монография / D.W.Cohen. - New York etc. : Springer, 1989. - XII,149 p. p. : ill. - (Problem books in mathematics). - ISBN 0-387-96870-9 : 12.00 р. Библиогр.:с.144-145ГРНТИ 29.05.1527.39.15УДК 517.982530.145 Рубрики: Квантовая механикаГильбертово пространство Держатели документа: ГПНТБ России Экз-ры: ХР(1), (2) Копия: мкф., Шифр MR-87729 LOGIC$+MATHEMATICS$

State Public Technical Library of Russia (Russian)

50

Xiyou jinshu cailiao yu (Металлургия/Статьи)


2006-02-20

Тип Отдельный выпуск журнала Авторы Название X …

VINITI Projects Database (Russian)

52

W (Информатика/Англо-русский словарь по информатике)


2005-01-06

   A (http://science.viniti.ru/index.php?option=com_content&task=view&id=196&Itemid=310) B (http://science.viniti.ru/index.php?option=com_content&task=view&id=197&Itemid=310) Ca (h …

VINITI Projects Database (Russian)

54

University of Würzburg. Robotics and Telematics (Машиностроение/Организации)


2006-02-17

Тип: университет Профиль деятельности: Mobile Robots, Telematics, Space exploration, Robots in medicine ГРНТИ: 55.30 Область наук: Техника Город: Würzburrg, Deutschland www …

VINITI Projects Database (Russian)

56

University of Southern California Robotics Research Laboratory (Машиностроение/Организации)


2006-02-17

Тип: научный центр Профиль деятельности: Research in autonomous robotics, biological and artificial neural systems, reinforcement learning, genetic algorithms, robotic and prosthetic hands, desig …

VINITI Projects Database (Russian)

59

University of Electro-Communications. Takase Lab. (Машиностроение/Организации)


2006-02-17

Тип: университет Профиль деятельности: Robots for production and man support Сокр. название: EC ГРНТИ: 55.30 Область наук: Техника Город: Tokyo, Japan www.Taka.is.uec.ac.jp/Engl …

VINITI Projects Database (Russian)

60

University of Dortmund. Institute of Robotics Research (Машиностроение/Организации)


2006-02-17

Тип: научный центр Профиль деятельности: Multi-Robot-Systems, Space robotics, Automation, Communication, Mobile robots Сокр. название: IRF ГРНТИ: 55.30 Область наук: Техника Город: Do …

VINITI Projects Database (Russian)

62

University of Bremen. Institute for Automation (Машиностроение/Организации)


2006-02-17

Тип: научный центр Профиль деятельности: Servicerobotics, Planning, Vision, Teaching, Inverse kinematics ГРНТИ: 55.30 Область наук: Техника Город: Bremen, Deutschland http://siem …

VINITI Projects Database (Russian)

65

University Aachen. European Center for Mechatronics (Машиностроение/Организации)


2006-02-17

Тип: университет Профиль деятельности: Mechatronics, Micromechanics, Service robots, Communication, Userinterface, Sensor systems ГРНТИ: 55.30 Область наук: Техника Город: Aachen, Deutsc …

VINITI Projects Database (Russian)

66

University Aachen Prozeßsteuerung in der Schweißtechnik (Машиностроение/Организации)


2006-02-17

Тип: университет Профиль деятельности: Mobile robots, Manufacturing ГРНТИ: 55.30 Область наук: Техника Город: Aahen, Deutschland www.rwth-aahen.de (www.rwth-aahen.de) …

VINITI Projects Database (Russian)

68

U (Информатика/Англо-русский словарь по информатике)


2005-01-06

   A (http://science.viniti.ru/index.php?option=com_content&task=view&id=196&Itemid=310) B (http://science.viniti.ru/index.php?option=com_content&task=view&id=197&Itemid=310) Ca (h …

VINITI Projects Database (Russian)

69

Type logic served by co-Merge, Merge and Move: an account for sluicing and questions of “common European” and Japanese types

Zakharyaschev, Ivan

We explore the power of type-logical grammar as a linguistic theory, specifically, of a new tentative development inside the framework—a “symmetricized” Lambek Calculus, due to [Moortgat2005]. The basis for our discussion is an account we give for constructions involving questions and—in particular—...

DRIVER (Russian)

70

Toshiba. Research and Development Center (Машиностроение/Организации)


2006-02-17

Тип: научный центр Профиль деятельности: Vision, Speech, Humanoids, Pipeline inspection, Control, Modular manipulation ГРНТИ: 55.30 Область наук: Техника Город: Tokyo www.toshiba …

VINITI Projects Database (Russian)

71

Topoi, the categorical analysis of logic Studies in logic and the foundations of mathematics;Vol.98 0 ^aТопос, категорный анализ логики North-Holland 0 ; математическая логика; топосы Библиогр.: с. 521-529.-Указ.: Ind. of definitions: с. 541-551 0 ; математическая логика; топосы

Barwise, J. .; Kaplan, D. .; Keisler, H.J. .; Suppes, P. .; Troelstra, A.S. .

Вид документа : Однотомное издание Шифр издания : Автор(ы) : Goldblatt R. Заглавие : Topoi, the categorical analysis of logic Выходные данные : Amsterdam: North-Holland, 1986 Колич.характеристики :XVI, 551 с Серия: Studies in logic and the foundations of mathematics;Vol.98 Примечания : ; Библиогр.: с. 521-529.-Указ.: Ind. of definitions: с. 541-551 ISBN, Цена 0-444-86711-2: Б.ц. ГРНТИ : ; 27.03.15 + ; 27.03.19 Ключевые слова (''Своб.индексиров.''): 0 ; математическая логика; топосы Перейти к источнику в Интернете: Topoi, the categorical analysis of logic Доп.точки доступа: Barwise, J. \.\; Kaplan, D. \.\; Keisler, H.J. \.\; Suppes, P. \.\; Troelstra, A.S. \.\ LOGIC$+MATHEMATICS$

The Russian Union Catalog of Scientific Literature (Russian)

72

Topoi, the categorial analysis of logic Studies in logic and the found. of mathematics 0 ^aТопосы, категорийный анализ логики. Обзор North-Holland Библиогр.: с. 521-529. Указ. определений: с. 541-551


Вид документа : Однотомное издание Шифр издания : K Автор(ы) : Goldblatt R Заглавие : Topoi, the categorial analysis of logic . -Rev. ed Выходные данные : Amsterdam etc.: North-Holland, 1984 Колич.характеристики :16, 551 с Серия: Studies in logic and the found. of mathematics ; N 98 Примечания : ; Библиогр.: с. 521-529. Указ. определений: с. 541-551 ISBN, Цена 0-444-85711-2: Б.ц. ГРНТИ : ; 27.03.19 УДК : + Перейти к источнику в Интернете: Topoi, the categorial analysis of logic LOGIC$+MATHEMATICS$

The Russian Union Catalog of Scientific Literature (Russian)

73

Theory of relations Studies in logic and the foundations of mathematics;Vol.118 0 ^aТеория отношений North-Holland 0 ; отношения; множества Библиогр.: с. 373-386.-Указ.: с. 387-397 0 ; отношения; множества

Barwise, J. .; Kaplan, D. .; Keisler, H.J. .; Suppes, P. .; Troelstra, A.S. .

Вид документа : Однотомное издание Шифр издания : K Автор(ы) : Fraisse, Roland Заглавие : Theory of relations Выходные данные : Amsterdam: North-Holland, 1986 Колич.характеристики :12, 397 с Серия: Studies in logic and the foundations of mathematics;Vol.118 Примечания : ; Библиогр.: с. 373-386.-Указ.: с. 387-397 ISBN, Цена 0-444-87865-3: Б.ц. ГРНТИ : ; 27.03.15 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; отношения; множества Перейти к источнику в Интернете: Theory of relations, Перейти к источнику в Интернете:  Доп.точки доступа: Barwise, J. \.\; Kaplan, D. \.\; Keisler, H.J. \.\; Suppes, P. \.\; Troelstra, A.S. \.\ LOGIC$+MATHEMATICS$

The Russian Union Catalog of Scientific Literature (Russian)

75

The Institute of Nanotechnology (Химия/Организации)


2006-02-21

Тип: институт Профиль деятельности: Развитие и продвижение всех аспектов нанотехнологии. Организация международных научных мероприятий, обучающих курсов для поощрения внедрения нанотехнологии в п …

VINITI Projects Database (Russian)

76

Technische Universität Münchenn. Theoretische Informatik und Grundlagen der KI (Машиностроение/Организации)


2006-02-17

Тип: университет Профиль деятельности: Adaptive control, Mobile robots, Distributed AI, Neural Networks ГРНТИ: 55.30 Область наук: Техника Город: Münche n,, Deutschland www. …

VINITI Projects Database (Russian)

78

Technical University of Hamburg-Harburg. Department for machine tools and automation technology (Машиностроение/Организации)


2006-02-17

Тип: университет Профиль деятельности: Autonomous robots, Vision, Pattern recognition, Medical robotics, Planning, Manipulation ГРНТИ: 55.30 Область наук: Техника Город: Hamburg, Deutsch …

VINITI Projects Database (Russian)

79

Technical University Berlin. Real-Time Systems (Машиностроение/Организации)


2006-02-17

Тип: университет Профиль деятельности: Mobile robots, Human interface, Vision, Realtime ГРНТИ: 55.30 Область наук: Техника Город: Berlin, Deutschland www.tu-berlin.de (www.tu-ber …

VINITI Projects Database (Russian)

81

Some combinatorial and algorithmic problems in many-valued logics/Univ. of Novi Sad. Inst. of mathematics 0 ^aНекоторые комбинаторные и алгоритмические задачи в многозначной логике Библиогр. в конце гл


Вид документа : Однотомное издание Шифр издания : K Автор(ы) : Stojmenovic I Заглавие : Some combinatorial and algorithmic problems in many-valued logics/Univ. of Novi Sad. Inst. of mathematics Выходные данные : Novi Sad, 1987 Колич.характеристики :150, 6 с Примечания : ; Библиогр. в конце гл Цена : Б.ц. УДК : Перейти к источнику в Интернете: Some combinatorial and algorithmic problems in many-valued logics/Univ. of Novi Sad. Inst. of mathematics LOGIC$+MATHEMATICS$

The Russian Union Catalog of Scientific Literature (Russian)

83

Selected topics in algebra and its interrelations with logic, number theory and algebraic geometry Mathematics and its applications. East europ. ser. 0 ^aИзбранные темы в области алгебры и их связь с логикой, теорией чисел и алгебраической геометрией Reidel Указ.: с.405-406


Вид документа : Однотомное издание Шифр издания : K Автор(ы) : Bucur I Заглавие : Selected topics in algebra and its interrelations with logic, number theory and algebraic geometry : Transl. from the Roum Выходные данные : Dordrecht etc.: Reidel, 1984 Колич.характеристики :406 с Серия: Mathematics and its applications. East europ. ser. Примечания : ; Указ.: с.405-406 Цена : Б.ц. ГРНТИ : ; 27.17 УДК : Перейти к источнику в Интернете: Selected topics in algebra and its interrelations with logic, number theory and algebraic geometry LOGIC$+MATHEMATICS$

The Russian Union Catalog of Scientific Literature (Russian)

85

Robot Books.com (Машиностроение/Ресурсы)


2006-04-13

Тип2НазваниеRobot Books.comОписаниеReviews of robotics books, plus robot kits, movies, and toy robotsКлючевые словароботы, элементы, книги, продажаПерспективы развитияТип доступасвободныйФормат данных …

VINITI Projects Database (Russian)

86

Ri (Информатика/Англо-русский словарь по информатике)


2005-01-06

   A (http://science.viniti.ru/index.php?option=com_content&task=view&id=196&Itemid=310) B (http://science.viniti.ru/index.php?option=com_content&task=view&id=197&Itemid=310) Ca (h …

VINITI Projects Database (Russian)

87

Red book (Металлургия/Издания)


2006-02-20

Тип Книга Авторы G.Effenberg, O.I. Bodak, L.A. Petrova Название …

VINITI Projects Database (Russian)

88

Recursive functionals Studies in logic a. the foundations of mathematics 0 ^aРекурсивные функционалы North-Holland Указ.-Библиогр.: с. 265-267


Вид документа : Однотомное издание Шифр издания : Автор(ы) : Sanchis, Luis E Заглавие : Recursive functionals Выходные данные : Amsterdam etc.: North-Holland, 1992 Колич.характеристики :XII, 277 с. Серия: Studies in logic a. the foundations of mathematics Примечания : ; Указ.-Библиогр.: с. 265-267 ISBN, Цена 0-444-89447-0: Б.ц. ГРНТИ : ; 27.39 Перейти к источнику в Интернете: Recursive functionals LOGIC$+MATHEMATICS$

The Russian Union Catalog of Scientific Literature (Russian)

90

Proceedings..., Apr.14-16, 1995 in Nis Filomat/Univ.of Nis.Fac.of philos. 0 ^aТруды Межд.конф. по алгебре, мат.логике и дискретной математике.Ниш,1995 International conference on algebra, logic and discrete mathematics Univ.of Nis 0 ; алгебра; математическая логика; дискретная математика 0 ; алгебра; математическая логика; дискретная математика Библиогр.в конце ст 0 ; алгебра; математическая логика; дискретная математика

Bogdanovic, S.

Вид документа : Однотомное издание Шифр издания : K Заглавие : Proceedings..., Apr.14-16, 1995 in Nis Выходные данные : Nis: Univ.of Nis, 1995 Колич.характеристики :385-965 c Коллективы : International conference on algebra, logic and discrete mathematics (1995;Nis) Серия: Filomat/Univ.of Nis.Fac.of philos., ISSN 0354-5180; T.9,N 3 Примечания : ; Библиогр.в конце ст Цена : Б.ц. ГРНТИ : ; 27.01.13 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; алгебра; математическая логика; дискретная математика Перейти к источнику в Интернете: Proceedings..., Apr.14-16, 1995 in Nis Доп.точки доступа: Bogdanovic, S. LOGIC$+MATHEMATICS$

The Russian Union Catalog of Scientific Literature (Russian)

91

Proceedings of the logic colloquium held in Orsay, France, from 7th July to 13th July, 1985 Studies in logic and the foundations of mathematics;Vol.122 North-Holland 0 ; математическая логика Библиогр. в конце ст 0 ; математическая логика

Barwise, J. .; Kaplan, D. .; Keisler, H.J. .; Suppes, P. .; Troelstra, A.S. .

Вид документа : Однотомное издание Шифр издания : K Заглавие : Proceedings of the logic colloquium held in Orsay, France, from 7th July to 13th July, 1985 Выходные данные : Amsterdam: North-Holland, 1987 Колич.характеристики :13, 308 с Серия: Studies in logic and the foundations of mathematics;Vol.122 Примечания : ; Библиогр. в конце ст ISBN, Цена 0-444-70211-3: Б.ц. ГРНТИ : ; 27.03.19 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; математическая логика Перейти к источнику в Интернете: Proceedings of the logic colloquium held in Orsay, France, from 7th July to 13th July, 1985, Перейти к источнику в Интернете: , Перейти к источнику в Интернете:  Доп.точки доступа: Barwise, J. \.\; Kaplan, D. \.\; Keisler, H.J. \.\; Suppes, P. \.\; Troelstra, A.S. \.\ LOGIC$+MATHEMATICS$

The Russian Union Catalog of Scientific Literature (Russian)

92

Proceedings of the logic colloquium held in Manchester, U.K., July 1984 Studies in logic and the foundations of mathematics;Vol.120 North-Holland 0 ; математическая логика Библиогр. в конце ст 0 ; математическая логика

Paris, J.B. .; Wilkie, A.J. .; Wilmers, G.M. .

Вид документа : Однотомное издание Шифр издания : K Заглавие : Proceedings of the logic colloquium held in Manchester, U.K., July 1984 Выходные данные : Amsterdam: North-Holland, 1986 Колич.характеристики :10, 377 с Серия: Studies in logic and the foundations of mathematics;Vol.120 Примечания : ; Библиогр. в конце ст ISBN, Цена 0-444-87999-4: Б.ц. ГРНТИ : ; 27.03.19 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; математическая логика Перейти к источнику в Интернете: Proceedings of the logic colloquium held in Manchester, U.K., July 1984, Перейти к источнику в Интернете: , Перейти к источнику в Интернете: , Перейти к источнику в Интернете: , Перейти к источнику в Интернете:  Доп.точки доступа: Paris, J.B. \.\; Wilkie, A.J. \.\; Wilmers, G.M. \.\ LOGIC$+MATHEMATICS$

The Russian Union Catalog of Scientific Literature (Russian)

93

Proceedings of the conference

Crvenkovic, S. .

Вид документа : Однотомное издание Шифр издания : K Заглавие : Proceedings of the conference "Algebra and logic", Sarajevo, 1987 Выходные данные : Novi Sad, 1989 Колич.характеристики :VI, 182 с Коллективы : University of Novi Sad.Institute of mathematicsConference "Algebra and logic"(Sarajevo;1987) Примечания : ; Библиогр. в конце ст Цена : Б.ц. ГРНТИ : ; 27.01.13 + ; 27.17 + ; 27.03.19 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; алгебра; математическая логика Перейти к источнику в Интернете: Proceedings of the conference "Algebra and logic", Sarajevo, 1987 Доп.точки доступа: Crvenkovic, S. \.\ LOGIC$+MATHEMATICS$

The Russian Union Catalog of Scientific Literature (Russian)

94

Proceedings of the colloquium, held in Padova, Aug.22-31, 1988 Studies in logic and the foundations of mathematics Logic colloquium'88 North-Holland математическая логика Математическая логика, Съезды и конференции математическая логика

Ferro, R. ed.

Q/3421/127 Logic colloquium'88 (1988 ; Padova). Proceedings of the colloquium, held in Padova, Aug.22-31, 1988 [Text] : материалы временных коллективов / Logic colloquium'88 (1988 ; Padova) ; ed. R. Ferro. - Amsterdam etc. : North-Holland, 1989. - VIII, 403 p. 403 p. : ill. - (Studies in logic and the foundations of mathematics ; vol.127). - ISBN 0-444-87455-0 : 66.80 р. Библиогр.в конце ст.ГРНТИ 27.03.19УДК 510(063) Рубрики: Математическая логика--Съезды и конференции Держатели документа: ГПНТБ России Доп.точки доступа: Ferro, R. \ed.\ Экз-ры: фмз(1), (2) Копия: мкф., Шифр MR-90747 LOGIC$+MATHEMATICS$

State Public Technical Library of Russia (Russian)

95

Proceedings of the colloquium, held in Granada, Jul.20-25,1987 Studies in logic and the foundations of mathematics Logic colloquium'87 North-Holland математическая логика Математическая логика, Съезды и конференции математическая логика

Ebbinghaus, H.-D. ed.

Q/3421/129 Logic colloquium'87 (1987 ; Granada). Proceedings of the colloquium, held in Granada, Jul.20-25,1987 [Text] : материалы временных коллективов / Logic colloquium'87 (1987 ; Granada) ; ed. H. -D. Ebbinghaus. - Amsterdam etc. : North-Holland, 1989. - X,375 p. p. : ill. - (Studies in logic and the foundations of mathematics ; vol.129). - ISBN 0-444-88022-4 : 63.62 р. Библиогр.в конце ст.ГРНТИ 27.03.19УДК 510(063) Рубрики: Математическая логика--Съезды и конференции Держатели документа: ГПНТБ России Доп.точки доступа: Ebbinghaus, H.-D. \ed.\ Экз-ры: ХР(1), (2) Копия: мкф., Шифр MR-90892 LOGIC$+MATHEMATICS$

State Public Technical Library of Russia (Russian)

96

Proceedings of the Herbrand symposium, Marseilles, July 1981 Studies in logic and the found. of mathematics; Vol.107 0 ^aТруды симпозиума Хербранда. Коллоквиум по логике. Марсель, 1981 Logic colloquium. Marseilles. 1981 North-Holland Библиогр.: с. 384

Stern, J

Вид документа : Однотомное издание Шифр издания : K Заглавие : Proceedings of the Herbrand symposium, Marseilles, July 1981 Выходные данные : Amsterdam etc.: North-Holland, 1982 Колич.характеристики :11, 384 с Коллективы : Logic colloquium. Marseilles. 1981 Серия: Studies in logic and the found. of mathematics; Vol.107 Примечания : ; Библиогр.: с. 384 ISBN, Цена 0-444-86417-2: Б.ц. ГРНТИ : ; 27.03.19 УДК : Перейти к источнику в Интернете: Proceedings of the Herbrand symposium, Marseilles, July 1981 Доп.точки доступа: Stern, J LOGIC$+MATHEMATICS$

The Russian Union Catalog of Scientific Literature (Russian)

97

Proceedings of the 6th international congress of ...,Honnover 22-29 Aug.1979 Studies in logic and the foundations of mathematics Logic,methodology and philosophy of science International congress of logic,methodology and philosophy of science North-Holland PWN

Cohen, L.J. ed.

Q/3421/Vol.104/6 Logic,methodology and philosophy of science [Text]. - Amsterdam;London : North-Holland.Pt. 6 : Proceedings of the 6th international congress of ...,Honnover 22-29 Aug.1979 / Ed.: L.J.Cohen et.al. - Amsterdam etc. : North-Holland ; Warszawa : PWN, 1982. - XIV,856 p. : ill. - (Studies in logic and the foundations of mathematics ; vol.104 ; 07). - ISBN 0-444-8523-1 : 60-00 р. Держатели документа: ГПНТБ России Доп.точки доступа: Cohen, L.J. \ed.\ Экз-ры: ХР(2) LOGIC$+MATHEMATICS$

State Public Technical Library of Russia (Russian)

98

Pr (Информатика/Англо-русский словарь по информатике)


2005-01-06

   A (http://science.viniti.ru/index.php?option=com_content&task=view&id=196&Itemid=310) B (http://science.viniti.ru/index.php?option=com_content&task=view&id=197&Itemid=310) Ca (h …

VINITI Projects Database (Russian)

99

Pattern matching, conceptualisation, seminatics and logic Report series 46257; Компиляторы программ


R/7871/306 Ashton, K. Pattern matching, conceptualisation, seminatics and logic [Text] : сборник / K.Ashton. - Auckland : [s. n.], 1994. - 14 p. : ill. - (Report series / Univ.of Auckland.Dep.of mathematics and statistics, ISSN 0112-4021 ; n306). - 100 р. Библиогр.:с.13-14ГРНТИ 50.41УДК 004.422.8'422 Рубрики: Компиляторы программ Держатели документа: ГПНТБ России Экз-ры: ХР(1) LOGIC$+MATHEMATICS$

State Public Technical Library of Russia (Russian)

102

O (Информатика/Англо-русский словарь по информатике)


2005-01-06

   A (http://science.viniti.ru/index.php?option=com_content&task=view&id=196&Itemid=310) B (http://science.viniti.ru/index.php?option=com_content&task=view&id=197&Itemid=310) Ca (h …

VINITI Projects Database (Russian)

103

Non-standard models of constraint logic programs U.U.D.M. rep./Uppsala univ.Dep.of mathematics 0 ^aНестандартные модели ограниченных логических программ 0 ; логическая программа Библиогр.:с.12-13 0 ; логическая программа


Вид документа : Однотомное издание Шифр издания : Автор(ы) : Palmgren E. Заглавие : Non-standard models of constraint logic programs Выходные данные : Uppsala, 1992 Колич.характеристики :13 c Серия: U.U.D.M. rep./Uppsala univ.Dep.of mathematics, ISSN 1101-3591;1992,10 Примечания : ; Библиогр.:с.12-13 Цена : Б.ц. ГРНТИ : ; 50.05.03 Ключевые слова (''Своб.индексиров.''): 0 ; логическая программа Перейти к источнику в Интернете: Non-standard models of constraint logic programs LOGIC$+MATHEMATICS$

The Russian Union Catalog of Scientific Literature (Russian)

104

Newsflash 3 (Newsflashes/Newsflash)


2004-08-09

Aoccdrnig to a rscheearch at an Elingsh uinervtisy, it deosn't mttaer in waht oredr the ltteers in a wrod are, the olny iprmoetnt tihng is taht frist and lsat ltteer is at the rghit pclae. The rset ca …

VINITI Projects Database (Russian)

106

National Nanotechnology Initiative (Химия/Ресурсы)


2006-04-05

ТипНазваниеNational Nanotechnology InitiativeОписаниеThe National Nanotechnology Initiative (NNI) is a federal R&D program established to coordinate the multiagency efforts in nanoscale science, e …

VINITI Projects Database (Russian)

109

Nanofactory Instruments (Химия/Организации)


2006-04-05

Типпромышленная компанияПолное название (официальное)Nanofactory InstrumentsПрофиль деятельностиNanofactory Instruments develop, manufacture and sell unique solutions for the electron microscopy marke …

VINITI Projects Database (Russian)

111

Model theory Studies in logic and the foundations of mathematics;Vol.73 0 ^aТеория моделей North-Holland 0 ; теория моделей Библиогр.:с.623-640 0 ; теория моделей

Keisler H.J.; Barwise, J. .; Kaplan, D. .; Keisler, H.J. .; Suppes, P. .; Troelstra, A.S. .

Вид документа : Однотомное издание Шифр издания : Автор(ы) : Chang Ch.Ch, Keisler H.J. Заглавие : Model theory Выходные данные : Amsterdam: North-Holland, 1991 Колич.характеристики :XVI,650 с: ил Серия: Studies in logic and the foundations of mathematics;Vol.73 Примечания : ; Библиогр.:с.623-640 ISBN, Цена 0-444-88054-2: Б.ц. ГРНТИ : ; 27.03.19 Ключевые слова (''Своб.индексиров.''): 0 ; теория моделей Перейти к источнику в Интернете: Model theory Доп.точки доступа: Keisler H.J.; Barwise, J. \.\; Kaplan, D. \.\; Keisler, H.J. \.\; Suppes, P. \.\; Troelstra, A.S. \.\ LOGIC$+MATHEMATICS$

The Russian Union Catalog of Scientific Literature (Russian)

112

Methods and applications of mathematical logic Contemporary mathematics 0 ^aМетоды и применение математической логики:Труды 7-го Латино-Американского симпозиума, 1985 AMS 0 ; математическая логика; симпозиум Библиогр. в конце ст 0 ; математическая логика; симпозиум

Carnielli, W.A. .; Alcantara, L.P. .

Вид документа : Однотомное издание Шифр издания : Заглавие : Methods and applications of mathematical logic : Proc. of the 7 Lat. Amer. symp. on math. logic held July 29-Aug. 2, 1985 Выходные данные : Providence: AMS, 1988 Колич.характеристики :11, 250 с: ил Серия: Contemporary mathematics/ Amer. math. soc., ISSN 02714132;Vol69 Примечания : ; Библиогр. в конце ст ISBN, Цена 0-8218-5076-8: Б.ц. ГРНТИ : ; 27.01.13 + ; 27.03.19 Ключевые слова (''Своб.индексиров.''): 0 ; математическая логика; симпозиум Перейти к источнику в Интернете: Methods and applications of mathematical logic Доп.точки доступа: Carnielli, W.A. \.\; Alcantara, L.P. \.\ LOGIC$+MATHEMATICS$

The Russian Union Catalog of Scientific Literature (Russian)

113

Mathematics for the analysis of algorithms Progress in computer science and applied logic;N1 0 ^aМатематика для анализа алгоритмов Birkhauser 0 ; математика Библиогр. в конце гл 0 ; математика

Knuth, D.E.

Вид документа : Однотомное издание Шифр издания : K Автор(ы) : Greene D.H., Knuth D.E. Заглавие : Mathematics for the analysis of algorithms Выходные данные : Boston etc: Birkhauser, 1990 Колич.характеристики :132 с: ил Серия: Progress in computer science and applied logic;N1 Примечания : ; Библиогр. в конце гл ISBN, Цена 0-8176-3515-7: Б.ц. ГРНТИ : ; 50.05.03 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; математика Перейти к источнику в Интернете: Mathematics for the analysis of algorithms, Перейти к источнику в Интернете:  Доп.точки доступа: Knuth, D.E. LOGIC$+MATHEMATICS$

The Russian Union Catalog of Scientific Literature (Russian)

114

Mathematics for the analysis of algorithms Progress in computer science and applied logic Birkh@:auser алгоритм Алгоритмы алгоритм

Knuth, D.E.

R/14082/1 Greene, D. H. Mathematics for the analysis of algorithms [Text] : материал технической информации / D.H.Greene,D.E.Knuth. - 3rd.ed. - Boston etc. : Birkh@:auser, 1990. - 132 p. : ill. - (Progress in computer science and applied logic ; vol.1). - ISBN 0-8176-3515-7 : 74.43 р. Библиогр.в конце гл.ГРНТИ 28.25.23УДК 004.421 Рубрики: Алгоритмы Держатели документа: ГПНТБ России Доп.точки доступа: Knuth, D.E. Экз-ры: ХР(1), (2) Копия: мкф., Шифр MR-99961 LOGIC$+MATHEMATICS$

State Public Technical Library of Russia (Russian)

115

Mathematical logic and theoretical computer science Lecture notes in pure and appl. mathematics Lecture notes in pure and applied mathematics Математическая логика, Применение в вычислительной технике

Kueker, D.W. ed.

MR-101100 Mathematical logic and theoretical computer science [Text] : сборник научных трудов / сост.ed. D. W. Kueker. - [S. l. : s. n.], 1987. - 384 p. : ill. - (Lecture notes in pure and appl. mathematics) (Lecture notes in pure and applied mathematics ; vol.106). - 17.20 р. Библиогр.в книгеГРНТИ 50.07УДК 510.6(086.2) Рубрики: Математическая логика--Применение в вычислительной технике Держатели документа: ГПНТБ России Доп.точки доступа: Kueker, D.W. \ed.\ Экз-ры: ХР(1), (1) LOGIC$+MATHEMATICS$

State Public Technical Library of Russia (Russian)

116

Mathematical logic and applications Lecture notes in mathematics Springer математическая логика Математическая логика, Съезды и конференции математическая логика

Shinoda, J. ed.

R/6758/1388 Mathematical logic and applications [Text] : proc.of the logic meet.,Kyoto,1987 / ed. J. Shinoda. - Berlin etc. : Springer, 1989. - 222 p. : ill. - (Lecture notes in mathematics ; n1388). - ISBN 3-540-51527-5 : 10.15 р. Библиогр.в конце ст.ГРНТИ 27.03.19УДК 510(063) Рубрики: Математическая логика--Съезды и конференции Держатели документа: ГПНТБ России Доп.точки доступа: Shinoda, J. \ed.\ Экз-ры: фмз(1), (2) Копия: мкф., Шифр MR-6758 LOGIC$+MATHEMATICS$

State Public Technical Library of Russia (Russian)

117

Mathematical logic and applications Lecture notes in mathematics 0 ^aМатематическая логика и ее применения:Труды совещания по логике, Киото, 1987 Springer 0 ; математическая логика Библиогр. в конце частей 0 ; математическая логика

Shinoda, J. .

Вид документа : Однотомное издание Шифр издания : K Заглавие : Mathematical logic and applications : Proc. of the logic meet., Kyoto, 1987 Выходные данные : Berlin etc: Springer, 1989 Колич.характеристики :222 с Серия: Lecture notes in mathematics; N 1388 Примечания : ; Библиогр. в конце частей ISBN, Цена 3-540-51527-5: Б.ц. ГРНТИ : ; 27.03.19 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; математическая логика Перейти к источнику в Интернете: Mathematical logic and applications, Перейти к источнику в Интернете: , Перейти к источнику в Интернете:  Доп.точки доступа: Shinoda, J. \.\ LOGIC$+MATHEMATICS$

The Russian Union Catalog of Scientific Literature (Russian)

118

Mathematical Models of Domain Ontologies

Kleshchev, Alexander; Artemjeva, Irene

DRIVER (Russian)

119

M (Информатика/Англо-русский словарь по информатике)


2005-01-04

   A (http://science.viniti.ru/index.php?option=com_content&task=view&id=196&Itemid=310) B (http://science.viniti.ru/index.php?option=com_content&task=view&id=197&Itemid=310) Ca (h …

VINITI Projects Database (Russian)

120

Logic-based decision support Annals of discrete mathematics North-Holland целочисленное программирование Программирование целочисленное целочисленное программирование


R/11919/40 Jeroslow, R. G. Logic-based decision support [Text] : mixed integer model formulation / R.G.Jeroslow. - Amsterdam etc. : North-Holland, 1989. - XV,222 p. p. : ill. - (Annals of discrete mathematics ; n40). - ISBN 0-444-87119-5 : 46.58 р. Библиогр.:с.203-222ГРНТИ 27.47.19УДК 519.854 Рубрики: Программирование целочисленное Держатели документа: ГПНТБ России Экз-ры: фмз(1), (2) Копия: мкф., Шифр MR-86622 LOGIC$+MATHEMATICS$

State Public Technical Library of Russia (Russian)

121

Logic, methodology and philosophy of science VII Studies in logic a. the foundations of mathematics; Vol.114 0 ^aЛогика, методология и философия науки, 7. Труды 7-го междунар. конгресса, Зальцбург, 1983 North-Holland Библиогр.: с.727-738 и в конце ст

Barcan, Marcus

Вид документа : Однотомное издание Шифр издания : K Заглавие : Logic, methodology and philosophy of science VII : Proc. of the 7th Intern. congr. of logic, methodology a. philosophy of science, Salzburg, 1983 Выходные данные : Amsterdam et al.: North-Holland, 1986 Колич.характеристики :8, 738 с Серия: Studies in logic a. the foundations of mathematics; Vol.114 Примечания : ; Библиогр.: с.727-738 и в конце ст ISBN, Цена 0-444-87656-1: Б.ц. ГРНТИ : ; 43.01.33 УДК : Перейти к источнику в Интернете: Logic, methodology and philosophy of science VII Доп.точки доступа: Barcan, Marcus LOGIC$+MATHEMATICS$

The Russian Union Catalog of Scientific Literature (Russian)

122

Logic with prolog Oxford applied mathematics and computing science series 0 ^aЯзыки и логика программирования Clarendon press 0 ; Пролог; языки программирования; логика программирования Библиогр.: с.312-314.-Указ.: с.315-321 0 ; Пролог; языки программирования; логика программирования


Вид документа : Однотомное издание Шифр издания : Автор(ы) : Gibbins, Peter Заглавие : Logic with prolog Выходные данные : Oxford: Clarendon press, 1988 Колич.характеристики :XIV, 321 с: ил Серия: Oxford applied mathematics and computing science series Примечания : ; Библиогр.: с.312-314.-Указ.: с.315-321 ISBN, Цена 0-19-859671-5: Б.ц. ГРНТИ : ; 50.05.09 + ; 50.41.01 + ; 50.01.33 Ключевые слова (''Своб.индексиров.''): 0 ; пролог; языки программирования; логика программирования Перейти к источнику в Интернете: Logic with prolog LOGIC$+MATHEMATICS$

The Russian Union Catalog of Scientific Literature (Russian)

123

Logic and the foundations of mathematics Kyoto Daigaku Suri Kaiseki Kenkyusho Kokyuroku 0 ^aЛогика и основания математики Research Inst. for Math. Sciences Текст на англ. и яп. яз. Библиогр. в конце статей


Вид документа : Однотомное издание Шифр издания : K Заглавие : Logic and the foundations of mathematics Выходные данные : Kyoto: Research Inst. for Math. Sciences, 1986 Колич.характеристики :2, 195, 1 с Серия: Kyoto Daigaku Suri Kaiseki Kenkyusho Kokyuroku; 588 Примечания : ; Текст на англ. и яп. яз. Библиогр. в конце статей Цена : Б.ц. ГРНТИ : ; 27.03.15 УДК : Перейти к источнику в Интернете: Logic and the foundations of mathematics LOGIC$+MATHEMATICS$

The Russian Union Catalog of Scientific Literature (Russian)

124

Logic and computer science Lecture notes in mathematics Логика и теория вычислительных машин и систем:Лекции на 1-ой сессии межд. летнего мат. центра, Италия, 1988 Springer Математическая логика, Применение в вычислительной технике

Homer, S.; Nerode, A.; Platek, R.A.

R/6758/1429 Logic and computer science [Text] : lectures of the CIME 1st session, Montecatini Terme, June 20-28, 1988 / S.Homer,A.Nerode,R.A.Platek и др. - berlin [etc.] : Springer, 1990. - 162 p. : ill. - (Lecture notes in mathematics ; n1429). - ISBN 3-540-52734-6 : 10.00 р. Библиогр. в конце ст Перевод заглавия: Логика и теория вычислительных машин и систем:Лекции на 1-ой сессии межд. летнего мат. центра, Италия, 1988Перевод заглавия: Логика и теория вычислительных машин и систем:Лекции на 1-ой сессии межд. летнего мат. центра, Италия, 1988ГРНТИ 50.07УДК 510.6(063) Рубрики: Математическая логика--Применение в вычислительной технике Держатели документа: ГПНТБ России Доп.точки доступа: Homer, S.; Nerode, A.; Platek, R.A. Экз-ры: фмз(1), (2) Копия: мкф., Шифр MR-94015 LOGIC$+MATHEMATICS$

State Public Technical Library of Russia (Russian)

125

Logic and computer science Lecture notes in mathematics 0 ^aЛогика и теория вычислительных машин и систем:Лекции на 1-ой сессии межд. летнего мат. центра, Италия, 1988 Springer-Verl. 0 ; логика; вычислительные машины Библиогр. в конце ст 0 ; логика; вычислительные машины

Nerode, A.; Platek, R.A.

Вид документа : Однотомное издание Шифр издания : K Автор(ы) : Homer S., Nerode A., Platek R.A. Заглавие : Logic and computer science : Lectures of the CIME 1st session, Montecatini Terme, June 20-28, 1988 Выходные данные : Berlin etc: Springer-Verl., 1990 Колич.характеристики :162 с: ил Серия: Lecture notes in mathematics; N 1429 Примечания : ; Библиогр. в конце ст ISBN, Цена 3-540-52734-6: Б.ц. ГРНТИ : ; 27.03.19 + ; 50.05.03 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; логика; вычислительные машины Перейти к источнику в Интернете: Logic and computer science, Перейти к источнику в Интернете: , Перейти к источнику в Интернете: , Перейти к источнику в Интернете:  Доп.точки доступа: Nerode, A.; Platek, R.A. LOGIC$+MATHEMATICS$

The Russian Union Catalog of Scientific Literature (Russian)

126

Logic and combinatorics Contemporary mathematics 0 ^aЛогика и комбинаторика. Труды объединенной летней научной конференции. Арката (Калифорния), август. 1985 Amer. math. soc. Библиогр. в конце ст

Simpson, S.G

Вид документа : Однотомное издание Шифр издания : K Заглавие : Logic and combinatorics : Proc. of the AMS-IMS-SIAM joint summer research conf., Aug. 4-10, 1985, Arcata (Ca), with support from the Nat. science found Выходные данные : Providence (RI): Amer. math. soc., 1987 Колич.характеристики :11, 394 с Серия: Contemporary mathematics, ISSN 0271-4132 ; N 65 Примечания : ; Библиогр. в конце ст ISBN, Цена 0-8218-5052-0: Б.ц. ГРНТИ : ; 27.03.19 УДК : + Перейти к источнику в Интернете: Logic and combinatorics Доп.точки доступа: Simpson, S.G LOGIC$+MATHEMATICS$

The Russian Union Catalog of Scientific Literature (Russian)

127

L (Информатика/Англо-русский словарь по информатике)


2005-01-05

   A (http://science.viniti.ru/index.php?option=com_content&task=view&id=196&Itemid=310) B (http://science.viniti.ru/index.php?option=com_content&task=view&id=197&Itemid=310) Ca (h …

VINITI Projects Database (Russian)

128

Kimura Shigeru (Машиностроение/Персоналии)


2006-02-16

Страна: Japan Адрес: 502, Kandatsu, Tsuchiura, Ibaraki, 300-0013, Japan Область наук: Техника ГРНТИ: 55.30 Организация: Hitachi Ltd., Mechanical Engineering Research Lab. …

VINITI Projects Database (Russian)

130

Journal of nanoscience and nanotechnology (Металлургия/Ресурсы)


2006-02-20

ТипОтдельный выпуск журналаАвторыНазваниеJournal of nanoscience and nanotechnologyРефератпубликуются материалы по нанотехнологиям и наноматериаламКлючевые словананотехнологии, наноматериалыПолное назв …

VINITI Projects Database (Russian)

132

Japan Marine Science and Technology Center Deep Sea Research (Машиностроение/Организации)


2006-02-17

Тип: научный центр Профиль деятельности: Underwater robotics Сокр. название: JAMSTEC ГРНТИ: 55.30 Область наук: Техника Город: Yokosuka, Kanagawa, Japan www.jamstec.go.jp/index-e/ …

VINITI Projects Database (Russian)

133

J (Информатика/Англо-русский словарь по информатике)


2005-01-03

   A (http://science.viniti.ru/index.php?option=com_content&task=view&id=196&Itemid=310) B (http://science.viniti.ru/index.php?option=com_content&task=view&id=197&Itemid=310) Ca (h …

VINITI Projects Database (Russian)

135

Introduction to mathematical logic The Wadsworth and Brooks/Cole mathematics ser. 0 ^aВведение в математическую логику Wadsworth and Brooks/Cole advanced books and software Библиогр.: с.289-307. Указ.: с.332-341


Вид документа : Однотомное издание Шифр издания : K Автор(ы) : Mendelson E Заглавие : Introduction to mathematical logic . -3.ed Выходные данные : Monterey (Calif.): Wadsworth and Brooks/Cole advanced books and software, 1987 Колич.характеристики :9, 341 с Серия: The Wadsworth and Brooks/Cole mathematics ser. Примечания : ; Библиогр.: с.289-307. Указ.: с.332-341 ISBN, Цена 0534066240: Б.ц. ГРНТИ : ; 27.03.19 УДК : Перейти к источнику в Интернете: Introduction to mathematical logic LOGIC$+MATHEMATICS$

The Russian Union Catalog of Scientific Literature (Russian)

136

Introduction to higher order categorical logic Cambridge studies in advanced mathematics;7 0 ^aВведение в категорическую логику высшего порядка Cambridge univ. press 0 ; математическая логика; категория Библиогр.: с. 279-288.-Авт., предм. указ.: с. 289-293 0 ; математическая логика; категория

Scott, P.J.

Вид документа : Однотомное издание Шифр издания : Автор(ы) : Lambek J., Scott P.J. Заглавие : Introduction to higher order categorical logic Выходные данные : Cambridge etc.: Cambridge univ. press, 1986 Колич.характеристики :9, 293 с: ил Серия: Cambridge studies in advanced mathematics;7 Примечания : ; Библиогр.: с. 279-288.-Авт., предм. указ.: с. 289-293 ISBN, Цена 0-521-24665-2: Б.ц. ГРНТИ : ; 27.03.19 Ключевые слова (''Своб.индексиров.''): 0 ; математическая логика; категория Перейти к источнику в Интернете: Introduction to higher order categorical logic, Перейти к источнику в Интернете:  Доп.точки доступа: Scott, P.J. LOGIC$+MATHEMATICS$

The Russian Union Catalog of Scientific Literature (Russian)

137

International University Bremen. Robotics Lab. (Машиностроение/Организации)


2006-02-17

Тип: научный центр Профиль деятельности: Robotic rescue, Embedded systems Сокр. название: IUB ГРНТИ: 55.30 Область наук: Техника Город: Bremen, Deutschland http://robotics.iu- …

VINITI Projects Database (Russian)

138

International Organization for Standardization (Автоматика и радиоэлектроника/Организации)


2006-04-17

ТипорганизацияПолное название (официальное)International Organization for Standardization - Международная организация по стандартизацииПрофиль деятельностиМетрология стандартизация международная деяте …

VINITI Projects Database (Russian)

142

Hitachi Seisakusho Ltd. Robotics,Aerospace Development and Environmental Protection (Машиностроение/Организации)


2006-02-17

Тип: хозяйственная Профиль деятельности: Mechatronics, Control, Vision ГРНТИ: 55.30 Область наук: Техника Город: Tokyo, Japan www.hitachi.co.jp (www.hitachi.co.jp) …

VINITI Projects Database (Russian)

143

Harvey Friedman's research on the foundations of mathematics Studies in logic a. the foundations of mathematics 0 ^aИсследования Х. Фридмана по основам математики North-Holland Библиогр. в конце глав

Harrington, L.A.; Friedman, H.

Вид документа : Однотомное издание Шифр издания : K Заглавие : Harvey Friedman's research on the foundations of mathematics Выходные данные : Amsterdam et al.: North-Holland, 1985 Колич.характеристики :16, 408 с Серия: Studies in logic a. the foundations of mathematics; N 117 Примечания : ; Библиогр. в конце глав ISBN, Цена 0-444-87834-3: Б.ц. ГРНТИ : ; 27.03 УДК : + Перейти к источнику в Интернете: Harvey Friedman's research on the foundations of mathematics Доп.точки доступа: Harrington, L.A.; Friedman, H. LOGIC$+MATHEMATICS$

The Russian Union Catalog of Scientific Literature (Russian)

144

H (Информатика/Англо-русский словарь по информатике)


2005-01-03

   A (http://science.viniti.ru/index.php?option=com_content&task=view&id=196&Itemid=310) B (http://science.viniti.ru/index.php?option=com_content&task=view&id=197&Itemid=310) Ca (h …

VINITI Projects Database (Russian)

146

GeneNetWorks™ (Биология, Медицина, Сельское хозяйство/Ресурсы)


2006-02-16

Типбаза данныхНазваниеGeneNetWorks™ОписаниеIntegrated system GeneNetWorks™ is designed for accumulation of experimental data, data navigation, data analysis, and analysis of dependencies in the field …

VINITI Projects Database (Russian)

149

Foundations of infinitesimal stochastic analysis Studies in logic and the foundations of mathematics;Vol.119 0 ^aОсновы инфинитезимального стохастического анализа North-Holland 0 ; комбинаторный анализ; стохастический анализ Библиогр.: с. 446-471.-Указ.: с. 472-478 0 ; комбинаторный анализ; стохастический анализ

Barwise, J. .; Kaplan, D. .; Keisler, H.J. .; Suppes, P. .; Troelstra, A.S. .

Вид документа : Однотомное издание Шифр издания : K Автор(ы) : Bayod, Jose Manuel Заглавие : Foundations of infinitesimal stochastic analysis Выходные данные : Amsterdam: North-Holland, 1986 Колич.характеристики :12, 478 с Серия: Studies in logic and the foundations of mathematics;Vol.119 Примечания : ; Библиогр.: с. 446-471.-Указ.: с. 472-478 ISBN, Цена 0-444-87927-7: Б.ц. ГРНТИ : ; 27.43.15 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; комбинаторный анализ; стохастический анализ Перейти к источнику в Интернете: Foundations of infinitesimal stochastic analysis, Перейти к источнику в Интернете: , Перейти к источнику в Интернете:  Доп.точки доступа: Barwise, J. \.\; Kaplan, D. \.\; Keisler, H.J. \.\; Suppes, P. \.\; Troelstra, A.S. \.\ LOGIC$+MATHEMATICS$

The Russian Union Catalog of Scientific Literature (Russian)

150

Foundations of infinitesimal stochastic analysis Studies in logic and the foundations mathematics ; Vol.119 0 ^aОбоснование бесконечномерного стохастического анализа North-Holland Библиогр.: с. 446-452. Указ.: с. 472-478

Bayod, J.M

Вид документа : Однотомное издание Шифр издания : K Автор(ы) : Stroyan K.D, Bayod J.M Заглавие : Foundations of infinitesimal stochastic analysis Выходные данные : Amsterdam et al.: North-Holland, 1986 Колич.характеристики :12, 478 с Серия: Studies in logic and the foundations mathematics ; Vol.119 Примечания : ; Библиогр.: с. 446-452. Указ.: с. 472-478 ISBN, Цена 0-444-97927-7: Б.ц. ГРНТИ : ; 27.43.15 УДК : Перейти к источнику в Интернете: Foundations of infinitesimal stochastic analysis Доп.точки доступа: Bayod, J.M LOGIC$+MATHEMATICS$

The Russian Union Catalog of Scientific Literature (Russian)

151

Foster-Miller, Inc. (Химия/Организации)


2006-04-05

Типпромышленная компанияПолное название (официальное)Foster-Miller, Inc.Профиль деятельностиNanotechnology company providing system design and integration, microelectronics services, biomedical techno …

VINITI Projects Database (Russian)

152

FirstBots Home (Машиностроение/Ресурсы)


2006-04-13

Тип2НазваниеFirstBots HomeОписаниеFeaturing the simple mobile robot that most hobbyists can build in a weekend. Also containe links to uzer groups, publications, suppliers and other robotics topics.Кл …

VINITI Projects Database (Russian)

153

Feasible mathematics Progress in computer science a.appl.logic 0 ^aДопустимая математика.Труды совещания,проведенного в Корнуэллском университете,1989 Rirkhauser 0 ; допустимая математика Библиогр. в конце ст 0 ; допустимая математика

Buss, S.R.; Scott, P.J.

Вид документа : Однотомное издание Шифр издания : Заглавие : Feasible mathematics : A Math.sciences inst.workshop,Ithaca,New York,June 1989:Papers presented at the Workshop on feasible mathematics,held at Cornell univ.,spons.by the Math.sciences inst. Выходные данные : Boston etc.: Rirkhauser, 1990 Колич.характеристики :VIII,350 c Серия: Progress in computer science a.appl.logic; Vol.9 Примечания : ; Библиогр. в конце ст ISBN, Цена 0-8176-3483-5: Б.ц. ГРНТИ : ; 27.03.17 + ; 27.01.13 + ; 50.05.03 Ключевые слова (''Своб.индексиров.''): 0 ; допустимая математика Перейти к источнику в Интернете: Feasible mathematics, Перейти к источнику в Интернете:  Доп.точки доступа: Buss, S.R.; Scott, P.J. LOGIC$+MATHEMATICS$

The Russian Union Catalog of Scientific Literature (Russian)

154

F (Информатика/Англо-русский словарь по информатике)


2005-01-03

   A (http://science.viniti.ru/index.php?option=com_content&task=view&id=196&Itemid=310) B (http://science.viniti.ru/index.php?option=com_content&task=view&id=197&Itemid=310) Ca (h …

VINITI Projects Database (Russian)

155

European Cooperation in Legal Metrology (Автоматика и радиоэлектроника/Организации)


2006-04-17

ТипОрганизацияПолное название (официальное)European Cooperation in Legal Metrology - Европейское сотрудничество в области законодательной метрологииПрофиль деятельностиМетрология стандартизация междун …

VINITI Projects Database (Russian)

156

European Committee for Standardization - Европейский Комитет по стандартизации (Автоматика и радиоэлектроника/Организации)


2006-04-17

ТипОрганизацияПолное название (официальное)European Committee for Standardization - Европейский Комитет по стандартизацииПрофиль деятельностиМетрология стандартизация международная деятельностьСокращё …

VINITI Projects Database (Russian)

159

Equivalents of the axiom of choice Studies in logic and the found. of mathematics 0 ^aЭквиваленты аксиомы выбора. Ч.2 North-Holland

Rubin, J.E

Вид документа : Многотомное издание Шифр издания : K Автор(ы) : Rubin H, Rubin J.E Заглавие : Equivalents of the axiom of choice Выходные данные : Amsterdam etc.: North-Holland, 1985 Колич.характеристики :28, 322 с. Серия: Studies in logic and the found. of mathematics; N 116 Примечания : ; Библиогр.: с.289-304. Указ.: с.305-322 ISBN, Цена 0-444-87708-8: Б.ц. ГРНТИ : ; 27.03.15 УДК : Перейти к источнику в Интернете: Equivalents of the axiom of choice Доп.точки доступа: Rubin, J.E LOGIC$+MATHEMATICS$

The Russian Union Catalog of Scientific Literature (Russian)

160

Epson. Industrial Robots-Devision (Машиностроение/Организации)


2006-02-17

Тип: хозяйственная Профиль деятельности: Manufacturing, Manipulation, Control ГРНТИ: 55.30 Область наук: Техника Email: robot.infos@epson.de Город: Deutschland www.epson.de/en …

VINITI Projects Database (Russian)

163

Denotational semantics of constraint logic programming-a nonstandard approach U.U.D.M.rep./Uppsala univ.Dep.of mathematics 0 ^aДеноттационная семантика ограничения в логическом программировании-нестандартный подход 0 ; логическое программирование Библиогр.:с.27-28 0 ; логическое программирование


Вид документа : Однотомное издание Шифр издания : Автор(ы) : Palmgren E. Заглавие : Denotational semantics of constraint logic programming-a nonstandard approach Выходные данные : Uppsala, 1993 Колич.характеристики :28 c Серия: U.U.D.M.rep./Uppsala univ.Dep.of mathematics, ISSN 1101-3591;1993:23 Примечания : ; Библиогр.:с.27-28 Цена : Б.ц. ГРНТИ : ; 28.25.23 + ; 50.05.03 Ключевые слова (''Своб.индексиров.''): 0 ; логическое программирование Перейти к источнику в Интернете: Denotational semantics of constraint logic programming-a nonstandard approach LOGIC$+MATHEMATICS$

The Russian Union Catalog of Scientific Literature (Russian)

164

Darmstadt University of Technology. Control Systems Theory & Robotics Department (Машиностроение/Организации)


2006-02-17

Тип: университет Профиль деятельности: Control, Manipulaion, Mobile robots ГРНТИ: 55.30 Область наук: Техника Город: Darmstadt, Deutschland www.rt.e-technik.tu-darmstadt.de/index …

VINITI Projects Database (Russian)

166

Daimler Chrysler Research & Technology. Cognition and Robotics Group, Sensor-based and... (Машиностроение/Организации)


2006-02-17

Тип: научный центр Профиль деятельности: Mobile robots, Manufacturing assistants, Learning, Human/robot interaction ГРНТИ: 55.30 Область наук: Техника Город: Berlin, Deutschland …

VINITI Projects Database (Russian)

167

D (Информатика/Англо-русский словарь по информатике)


2005-01-03

   A (http://science.viniti.ru/index.php?option=com_content&task=view&id=196&Itemid=310) B (http://science.viniti.ru/index.php?option=com_content&task=view&id=197&Itemid=310) Ca (h …

VINITI Projects Database (Russian)

168

Cylindric algebras Studies in logic and the foundations of mathematics 0 ^aЦилиндрические алгебры. Ч.2 North-Holland

Monk, J.D; Tarski, A

Вид документа : Многотомное издание Шифр издания : K Автор(ы) : Henkin L, Monk J.D, Tarski A Заглавие : Cylindric algebras Выходные данные : Amsterdam et al.: North-Holland, 1985 Колич.характеристики :7, 302 с. Серия: Studies in logic and the foundations of mathematics; N 115 Примечания : ; Библиогр.: с.277-288. Указ.: с.289-302 ISBN, Цена 0-444-87679-0: Б.ц. ГРНТИ : ; 27.17.15 УДК : Перейти к источнику в Интернете: Cylindric algebras Доп.точки доступа: Monk, J.D; Tarski, A LOGIC$+MATHEMATICS$

The Russian Union Catalog of Scientific Literature (Russian)

169

Constructivism in mathematics Studies in logic and the foundations of mathematics;N123;Vol.2 0 ^aКонструктивизм в математике:Введение North-Holland 0 ; конструктивизм; математика 0 ; конструктивизм; математика

Dalen, D.van; Barwise, J. .; Kaplan, D. .; Keisler, H.J. .; Suppes, P. .; Troelstra, A.S. .

Вид документа : Однотомное издание Шифр издания : K Автор(ы) : Troelstra A.S., Dalen D.van Заглавие : Constructivism in mathematics : An introduction Выходные данные : Amsterdam: North-Holland, 1988 Колич.характеристики :XVII, 534 (345-879), LII с: ил Серия: Studies in logic and the foundations of mathematics;N123;Vol.2 ISBN, Цена 0-444-70358-6: Б.ц. ГРНТИ : ; 27.03 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; конструктивизм; математика Перейти к источнику в Интернете: Constructivism in mathematics, Перейти к источнику в Интернете: , Перейти к источнику в Интернете: , Перейти к источнику в Интернете:  Доп.точки доступа: Dalen, D.van; Barwise, J. \.\; Kaplan, D. \.\; Keisler, H.J. \.\; Suppes, P. \.\; Troelstra, A.S. \.\ LOGIC$+MATHEMATICS$

The Russian Union Catalog of Scientific Literature (Russian)

170

Constructivism in mathematics Studies in logic and the foundations of mathematics;N121;Vol.1 0 ^aКонструктивизм в математике:Введение North-Holland 0 ; конструктивизм; математика 0 ; конструктивизм; математика

Dalen, D.van; Barwise, J. .; Kaplan, D. .; Keisler, H.J. .; Suppes, P. .; Troelstra, A.S. .

Вид документа : Однотомное издание Шифр издания : K Автор(ы) : Troelstra A.S., Dalen D.van Заглавие : Constructivism in mathematics : An introduction Выходные данные : Amsterdam: North-Holland, 1988 Колич.характеристики :XX, 342, XIV с: ил Серия: Studies in logic and the foundations of mathematics;N121;Vol.1 ISBN, Цена 0-444-70266-0: Б.ц. ГРНТИ : ; 27.03 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; конструктивизм; математика Перейти к источнику в Интернете: Constructivism in mathematics, Перейти к источнику в Интернете: , Перейти к источнику в Интернете:  Доп.точки доступа: Dalen, D.van; Barwise, J. \.\; Kaplan, D. \.\; Keisler, H.J. \.\; Suppes, P. \.\; Troelstra, A.S. \.\ LOGIC$+MATHEMATICS$

The Russian Union Catalog of Scientific Literature (Russian)

171

Computation,logic.philosophy Mathematics and its applications. China series


R/17086/2 Mathematics and its applications. China series [Text]. - Beijing : Science press ; Dordrecht etc. : Kluwer acad. publ.Vol. 2 : Computation,logic.philosophy / W.Hao. - 1990. - ISBN 7-03-000211-3 : 77-58 р. Держатели документа: ГПНТБ России Экз-ры: ХР(1) Копия: мкф., Шифр MR-96196 LOGIC$+MATHEMATICS$

State Public Technical Library of Russia (Russian)

172

Computation, logic, philosophy Mathematics a. its applications.China ser.;N2 0 ^aВычисление, логика, философия:Сборник Science press 0 ; вычисления; логика; философия Библиогр. в конце частей ISBN 7-03-000211-3 0 ; вычисления; логика; философия


Вид документа : Однотомное издание Шифр издания : K Автор(ы) : Hao W. Заглавие : Computation, logic, philosophy : A collection of essays Выходные данные : Dordrecht etc.: Science press, 1990 Колич.характеристики :XXVII, 373 с: ил Серия: Mathematics a. its applications.China ser.;N2 Примечания : ; Библиогр. в конце частей ISBN 7-03-000211-3 ISBN, Цена 0-7923-0218-4: Б.ц. ГРНТИ : ; 27.03.19 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; вычисления; логика; философия Перейти к источнику в Интернете: Computation, logic, philosophy LOGIC$+MATHEMATICS$

The Russian Union Catalog of Scientific Literature (Russian)

173

Computability, complexity,logic Studies in logic a.the foundations of mathematics;Vol.128 0 ^aВычисляемость,сложность,логика North-Holland 0 ; логика Библиогр.: с.529-573.- Указ.: с.574-592 0 ; логика


Вид документа : Однотомное издание Шифр издания : Автор(ы) : Borger E. Заглавие : Computability, complexity,logic Выходные данные : Amsterdam ets: North-Holland, 1989 Колич.характеристики :592 с: ил Серия: Studies in logic a.the foundations of mathematics;Vol.128 Примечания : ; Библиогр.: с.529-573.- Указ.: с.574-592 ISBN, Цена 0-444-87406-2: Б.ц. ГРНТИ : ; 27.03 Ключевые слова (''Своб.индексиров.''): 0 ; логика Перейти к источнику в Интернете: Computability, complexity,logic LOGIC$+MATHEMATICS$

The Russian Union Catalog of Scientific Literature (Russian)

174

Computability, complexity, logic Studies in logic and the foundations of mathematics North-Holland Алгоритмы Математическая логика


Q/3421/128 B@:orger, E. Computability, complexity, logic [Text] : сборник научных трудов / E.B@:orger. - Amsterdam etc. : North-Holland, 1989. - XX, 592 p. 592 p. : ill. - (Studies in logic and the foundations of mathematics ; vol.128). - ISBN 0-444-87406-2 : 71.57 р. Библиогр.:c.528-573. Указ.:с.574-589ГРНТИ 27.03.1727.03.19УДК 510 Рубрики: АлгоритмыМатематическая логика Держатели документа: ГПНТБ России Экз-ры: ХР(1), (2) Копия: мкф., Шифр MR-90891 LOGIC$+MATHEMATICS$

State Public Technical Library of Russia (Russian)

175

Computability and logic Ellis Horwood ser. mathematics a. its applications 0 ^aВычислимость и логика Wiley


Вид документа : Однотомное издание Шифр издания : K Автор(ы) : Cohen D.E Заглавие : Computability and logic Выходные данные : New York: Wiley, 1987 Колич.характеристики :270 с Серия: Ellis Horwood ser. mathematics a. its applications ISBN, Цена 0-74580-034-3: Б.ц. ГРНТИ : ; 27.03.17 УДК : + Перейти к источнику в Интернете: Computability and logic LOGIC$+MATHEMATICS$

The Russian Union Catalog of Scientific Literature (Russian)

176

Computability and logic Ellis Horwood ser. in mathematics and its applications 0 ^aВычисление и логика 0 ; логика; вычисление; машинная теория Указ.: с. 237-238 0 ; логика; вычисление; машинная теория


Вид документа : Однотомное издание Шифр издания : K Автор(ы) : Cohen, Daniel E. Заглавие : Computability and logic Выходные данные : Б.м.,Б.г. Колич.характеристики :243 с.: ил. Серия: Ellis Horwood ser. in mathematics and its applications Примечания : ; Указ.: с. 237-238 ISBN, Цена 0-7458-0034-3: Б.ц. ГРНТИ : ; 27.03 + ; 27.47 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; логика; вычисление; машинная теория Перейти к источнику в Интернете: Computability and logic, Перейти к источнику в Интернете:  LOGIC$+MATHEMATICS$

The Russian Union Catalog of Scientific Literature (Russian)

177

Combinatory logic Studies in logic and the foundations of mathematics 0 ^aКомбинаторная логика Horth-Holland Библиогр. в конце текста. Указ. в конце книги

Curry, H.B.

Вид документа : Однотомное издание Шифр издания : K Заглавие : Combinatory logic Выходные данные : Amsterdam: Horth-Holland,Б.г. Колич.характеристики :16, 417 с Серия: Studies in logic and the foundations of mathematics; N 1 Примечания : ; Библиогр. в конце текста. Указ. в конце книги Цена : Б.ц. ГРНТИ : ; 27.03.19 УДК : Перейти к источнику в Интернете: Combinatory logic Доп.точки доступа: Curry, H.B. LOGIC$+MATHEMATICS$

The Russian Union Catalog of Scientific Literature (Russian)

178

Co (Информатика/Англо-русский словарь по информатике)


2004-12-31

   A (http://science.viniti.ru/index.php?option=com_content&task=view&id=196&Itemid=310) B (http://science.viniti.ru/index.php?option=com_content&task=view&id=197&Itemid=310) Ca (h …

VINITI Projects Database (Russian)

179

Classical recursion theory Studies in logic and the foundations of mathematics;Vol.125 North-Holland 0 ; рекурсия; множества; натуральные числа Библиогр.: с.603-641.-Указ.: с.643-668 0 ; рекурсия; множества; натуральные числа

Barwise, J. .; Kaplan, D. .; Keisler, H.J. .; Suppes, P. .; Troelstra, A.S. .

Вид документа : Однотомное издание Шифр издания : K Автор(ы) : Odifreddi, Piergiorgio Заглавие : Classical recursion theory : The theory of functions and sets of natural numbers Выходные данные : Amsterdam: North-Holland, 1989 Колич.характеристики :17, 668 с: ил Серия: Studies in logic and the foundations of mathematics;Vol.125 Примечания : ; Библиогр.: с.603-641.-Указ.: с.643-668 ISBN, Цена 0-444-87295-7: Б.ц. ГРНТИ : ; 27.03.17 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; рекурсия; множества; натуральные числа Перейти к источнику в Интернете: Classical recursion theory, Перейти к источнику в Интернете: , Перейти к источнику в Интернете:  Доп.точки доступа: Barwise, J. \.\; Kaplan, D. \.\; Keisler, H.J. \.\; Suppes, P. \.\; Troelstra, A.S. \.\ LOGIC$+MATHEMATICS$

The Russian Union Catalog of Scientific Literature (Russian)

181

Categories in computer science a. logic Contemporary mathematics 0 ^aКатегории в науке об ЭВМ и логике. Труды конф., Колорадо, 1987 Amer. math. soc Joint summer research conference in the mathematical sciences on categories in computer science and logic (1987; Boulder, CO) 0 ; категории; ЭВМ; логика; труды 0 ; категории; ЭВМ; логика; труды Библиогр. в конце ст 0 ; категории; ЭВМ; логика; труды

Gray, J.W.; Scedrov, A.; Joint summer research conference in the mathematical sciences on categories in computer science and

Вид документа : Однотомное издание Шифр издания : Заглавие : Categories in computer science a. logic : Proc. of the AMS-IMS-SIAM joint summer research conf. in the math. sciences on categories in computer science a. logic held at Univ. of Colorado, Boulder, Colo, on June 14-20, 1987 with support from the Nat. science foundation Выходные данные : Providence (RI): Amer. math. soc, 1989 Колич.характеристики :X, 382 c Коллективы : Joint summer research conference in the mathematical sciences on categories in computer science and logic (1987; Boulder, CO) Серия: Contemporary mathematics, ISSN 0271-4132; Vol. 92 Примечания : ; Библиогр. в конце ст ISBN, Цена 0-8218-5100-4: Б.ц. ГРНТИ : ; 27.47.23 + ; 27.03.19 + ; 50.07.03 Ключевые слова (''Своб.индексиров.''): 0 ; категории; эвм; логика; труды Перейти к источнику в Интернете: Categories in computer science a. logic Доп.точки доступа: Gray, J.W.; Scedrov, A.; Joint summer research conference in the mathematical sciences on categories in computer science and logic (1987; Boulder, CO) LOGIC$+MATHEMATICS$

The Russian Union Catalog of Scientific Literature (Russian)

182

Categorical logic and type theory Studies in logic a. the found. of mathematics 0 ^aКатегоричная логика и теория типов. North-Holland Указ. : Notation ind., Subject ind. : с. 735-760


Вид документа : Однотомное издание Шифр издания : K Автор(ы) : Jacobs Bart Заглавие : Categorical logic and type theory Выходные данные : Amsterdam: North-Holland, 1999 Колич.характеристики :XVIII, 760 с.: ил Серия: Studies in logic a. the found. of mathematics; Vol. 141 Примечания : ; Библиогр. : с. 717-733. - ; Указ. : Notation ind., Subject ind. : с. 735-760 ISBN, Цена 0-444-50170-3: Б.ц. ГРНТИ : ; 27.03.19 + ; 27.17.25 УДК : + Перейти к источнику в Интернете: Categorical logic and type theory LOGIC$+MATHEMATICS$

The Russian Union Catalog of Scientific Literature (Russian)

183

Cambridge Scientific Abstracts (Металлургия/Организации)


2006-02-19

ТипбиблиотекаПолное название (официальное)Cambridge Scientific AbstractsПрофиль деятельностиинформационное обеспечение в области металлургииСокращённое официальное названиеCSAДата создания1966ГРНТИРФФ …

VINITI Projects Database (Russian)

184

Cabal seminar 81-85: Proc., Caltech-UCLA Logic seminar 1981-85 Lecture notes in mathematics 0 ^aТруды логического семинара 1981-85 г Библиогр. в конце докл

Kechris, A.S.

Вид документа : Однотомное издание Шифр издания : K Автор(ы) : Cabal seminar. Заглавие : Cabal seminar 81-85: Proc., Caltech-UCLA Logic seminar 1981-85 Выходные данные : Berlin et al.: Springer, 1988 Колич.характеристики :224 с Серия: Lecture notes in mathematics; Vol.1333 Примечания : ; Библиогр. в конце докл ISBN, Цена 3-540-50020-0: Б.ц. УДК : Перейти к источнику в Интернете: Cabal seminar 81-85: Proc., Caltech-UCLA Logic seminar 1981-85 Доп.точки доступа: Kechris, A.S. LOGIC$+MATHEMATICS$

The Russian Union Catalog of Scientific Literature (Russian)

187

Boole's logic and probability Studies in logic and the foundations of mathematics;Vol.85 North-Holland 0 ; логика Буля; теория вероятностей Библиогр.: с. 411-424.-Указ.: с. 425-428 0 ; логика Буля; теория вероятностей

Barwise, J. .; Kaplan, D. .; Keisler, H.J. .; Suppes, P. .; Troelstra, A.S. .

Вид документа : Однотомное издание Шифр издания : K Автор(ы) : Hailperin, Theodore Заглавие : Boole's logic and probability : A critical exposition from the standpoint of contemporary algebra, logic and probability theory Выходные данные : Amsterdam: North-Holland,Б.г. Колич.характеристики :12, 428 с Серия: Studies in logic and the foundations of mathematics;Vol.85 Примечания : ; Библиогр.: с. 411-424.-Указ.: с. 425-428 ISBN, Цена 0-444-87952-8: Б.ц. ГРНТИ : ; 27.03.19 УДК : + Ключевые слова (''Своб.индексиров.''): 0 ; логика буля; теория вероятностей Перейти к источнику в Интернете: Boole's logic and probability, Перейти к источнику в Интернете: , Перейти к источнику в Интернете:  Доп.точки доступа: Barwise, J. \.\; Kaplan, D. \.\; Keisler, H.J. \.\; Suppes, P. \.\; Troelstra, A.S. \.\ LOGIC$+MATHEMATICS$

The Russian Union Catalog of Scientific Literature (Russian)

190

Algebraic logic Problem books in mathematics 0 ^aАлгебраическая логика Springer 0 ; алгебраическая логика Библиогр.: с.348-351.-Указ.: с.353-356 0 ; алгебраическая логика


Вид документа : Однотомное издание Шифр издания : Автор(ы) : Gindikin S.G. Заглавие : Algebraic logic Выходные данные : New York etc: Springer, 1985 Колич.характеристики :XVIII, 356 с: граф Серия: Problem books in mathematics Примечания : ; Библиогр.: с.348-351.-Указ.: с.353-356 ISBN, Цена 387-96179-8-0: Б.ц. ГРНТИ : ; 27.03.19 + ; 27.17.23 Ключевые слова (''Своб.индексиров.''): 0 ; алгебраическая логика Перейти к источнику в Интернете: Algebraic logic LOGIC$+MATHEMATICS$

The Russian Union Catalog of Scientific Literature (Russian)

195

A (Информатика/Англо-русский словарь по информатике)


2005-01-03

   A B (http://science.viniti.ru/index.php?option=com_content&task=view&id=197&Itemid=310) Ca (http://science.viniti.ru/index.php?option=com_content&task=view&id=195&Itemid=310)&nb …

VINITI Projects Database (Russian)