Главная страница

Базы данных


- результаты поиска

Вид поиска
Российский сводный каталог по научно-технической литературе
Область поиска
в найденном
Формат представления найденных документов:
полный информационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>R=27.03$<.>)
Общее количество найденных документов : 229
Показаны документы с 1 по 10
 1-10    11-20   21-30      
1.
Вид документа : Журнал
Шифр издания : V4694
Заглавие : Archive for Mathematical Logic
Выходные данные : Berlin: springer, 1950
ISSN: 09335846
ГРНТИ : 27.03
Аннотация: Статьи и обзоры по исследованиям в области математической логики, а также по теориям компьютерной науки, философии и др., где значительную роль играет применение математической логики.
Зарегистрированы поступления :
1992г. Vol.32; N :2;
1992г. Vol.31; N :3-6
Издание можно найти в:
ЧЗ/ХР; ИНТЕХ;
Найти похожие
2.
Вид документа :
Шифр издания : V4097
Заглавие : Journal of Classification
Выходные данные : Berlin: springer, 1984
ISSN: 01764268
ГРНТИ : 27.03
Аннотация: Научный журнал. Статьи, обзоры, краткие сообщения и комментарии по исследованиям в области методологии классификации, численной таксономии, многомерного масштабирования и др. методов ординации, кластеризации, древовидных структур и других сетевых моделей (с меньшим вниманием к основным компонентам анализа, факторному и дискриминантному анализу), а также ассоциированных моделей и алгоритмов. Тематика охватывает компьютерные науки, математику, химию, инженерию, геологию, географию, астрономию, статистику, информационный поиск, экономику, бизнес, маркетинг, биологию, медицину, социологию, политические науки, психологию, антропологию, археологию, лингвистику, психиатрию и почвоведение. Публикуются также рефераты программного обеспечения и обзоры книг.
Найти похожие
3.
Вид документа :
Шифр издания : vr=J255766
Заглавие : Journal of Logic and Computation
Выходные данные : Oxford: Oxford University Press, 1990
ISSN: 0955792X
ГРНТИ : 27.03.19 + 28.23.17 + 50.41.01
Аннотация: Статьи, обзоры, дискуссии по исследованиям в области логики и вычислений: логические системы (классическая и неклассическая логика, конструктивная логика, категориальная логика, модальная логика, теория типов и др.); логика в логическом программировании, системах с базами знаний и автоматизированных рассуждениях; логика в представлении знаний (немонотонные рассуждения и системы знаний и убеждений); логика и семантика программирования; спецификация и верификация программ и систем; приложения логики в аппаратном обеспечении и СБИС, естественных языках, параллельных вычислениях, планировании и базах данных. Обзоры материалов конференций, письма в редакцию.
Найти похожие
4.
Вид документа :
Шифр издания : vr=P821159
Заглавие : Parallel Processing Letters
Выходные данные : , 1991
ISSN: 01296264
ГРНТИ : 50.33.04 + 50.41 + 27.03.45
Аннотация: Краткие статьи и имеющие научную ценность письма читателей о последних достижениях в области параллельной обработки данных: проектирование и анализ параллельных и распределенных алгоритмов; теория параллельных вычислений; языки параллельного программирования; среды параллельного программирования; параллельные архитектуры; СБИС; результаты экспериментов, содержащие анализ, соответствующий абстрактной модели вычислений.
Найти похожие
5.
Вид документа :
Шифр издания : vr=N805675
Заглавие : Numerical Algorithms
Выходные данные : Berlin: springer, 1991
ISSN: 10171398
ГРНТИ : 27.03.17
Аннотация: Статьи и обзоры по всем аспектам численных алгоритмов: новые алгоритмы, теоретические результаты, реализация, численная стабильность, сложность, параллельный компьютинг, подпрограммы и применение; статьи по компьютерной алгебре, связанные с получением численных результатов. Обзоры книг, анонсы научных конференций.
Найти похожие
6.
Вид документа : Монографическая серия
Шифр издания : 510.22/T82
Заглавие : Transactions on rough sets II [Electronic resource] : rough sets and fuzzy sets
Выходные данные : Berlin ; Heidelberg : Springer, 2004
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 3135
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-27778-1: Б.ц.
ГРНТИ : 27.03
УДК : 510.22
Предметные рубрики: Множеств теория
Найти похожие
7.
Вид документа : Монографическая серия
Шифр издания : 510.6(063)/T44-548262
Заглавие : Theorem proving in higher order logics [Electronic resource] : 18th international conference, TPHOLs 2005 Oxford, UK, August 22-25, 2005 : proceedings
Выходные данные : Berlin ; Heidelberg : Springer, 2005
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743 ; 3603
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-31820-0: Б.ц.
ГРНТИ : 27.03.19
УДК : 510(063)
Предметные рубрики: Математическая логика-- Съезды и конференции
Найти похожие
8.
Вид документа : Однотомное издание
Шифр издания : 510.25/E26
Автор(ы) : Edwards H.M.
Заглавие : Essays in constructive mathematics [Electronic resource]
Выходные данные : New York, NY : Springer, 2005
Коллективы : SpringerLink (Online service)
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-0-387-27130-9: Б.ц.
ГРНТИ : 27.03
УДК : 510.25
Предметные рубрики: Конструктивная математика
Найти похожие
9.
Вид документа : Монографическая серия
Шифр издания : 510.6(063)/L85-446688
Заглавие : Logic for programming, artificial intelligence, and reasoning [Electronic resource] : 11th International conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005: proceedings
Выходные данные : Berlin ; Heidelberg : Springer, 2005
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743 ; 3452
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-32275-7: Б.ц.
ГРНТИ : 27.03.19 + 50.05.13 + 28.23
УДК : 510(063) + 004.42(063) + 004.8(063)
Предметные рубрики: Математическая логика-- Съезды и конференции
Программирование для ЭВМ-- Съезды и конференции
Искусственный интеллект-- Съезды и конференции
Найти похожие
10.
Вид документа : Многотомное издание
Шифр издания : 519.1/G73
Заглавие : Graph theory, combinatorics and algorithms [Electronic resource] : interdisciplinary applications
Выходные данные : Boston, Ma : Springer Science + Business Media Inc., 2005
Коллективы : SpringerLink (Online service)
Серия: Operations research/computer science interfaces series, ISSN 1387-666X; 34
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-0-387-25036-6: Б.ц.
ГРНТИ : 27.45 + 27.03.17
УДК : 519.1 + 510.5
Предметные рубрики: Графов теория
Комбинаторика (матем.)
Алгоритмы
Найти похожие
 1-10    11-20   21-30      
 
Описание базы данных
Стандартный
Расширенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
Тематический навигатор
Статистика обращений
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)