ГПНТБ России - Полное описание

Государственная публичная
научно-техническая библиотека России

Основана в 1958 году

Полное описание

Higher order logic theorem proving and its applications : 6th intern.workshop,HUG'93,Vancouver,B.C.,Canada,Aug.11-13 1993:Proc. / Ed.: J. J. Joyce, C.-J.H. Seger ; сост.ed. J. J. Joyce, сост.ed. C. -J.H. Seger. - Berlin [etc.] : Springer , 1994. - IX,517 p. p. : ill. - (Lecture notes in computer science ; 780). - ISBN 3-540-57826-9. - Текст : непосредственный.
Библиогр.в конце статей

ГРНТИ	УДК
27.03.19	510(062)
03.91

Рубрики:
Математическая логика -- Съезды и конференции

Доп. точки доступа:
Joyce, J.J.\ed.\
Seger, C.-J.H.\ed.\

Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): R/9132/780)

Шифр в сводном ЭК: e34bd699099be6a3c4eaaf79fad6273e

Higher order logic theorem proving and its applications : 6th intern.workshop,HUG'93,Vancouver,B.C.,Canada,Aug.11-13 1993:Proc. / Ed.: J. J. Joyce, C.-J.H. Seger, 1994. - IX,517 p. p. - Текст : непосредственный.

Computer vision and graphics / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный.Pattern recognition and image analysis / D. Hutchison, J. C. Mitchell, F. Mattern [et al.], 2009 r=on-line. - Текст : электронный.Multiple classifier systems / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный.Combinatorial pattern matching / D. Hutchison, D. Terzopoulos, M. Sudan [et al.], 2009 r=on-line. - Текст : электронный.Computer music modeling and retrieval. Genesis of meaning in sound and music / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный.Artificial neural networks - ICANN 2008 / SpringerLink (Online service), 2008 r=on-line.Component-based software engineering / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный.Comparative genomics / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный.Network and parallel computing / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный.Formal methods and software engineering / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный.Advances in artificial intelligence- IBERAMIA 2008 / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный.Research in cryptology / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный.Automated technology for verification and analysis / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный.Post-quantum cryptography / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный.Hybrid metaheuristics / SpringerLink (Online service), 2008 r=on-line.Wireless algorithms, systems, and applications / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный.Semantics in data and knowledge bases / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный.Computer vision - ECCV 2008 / SpringerLink (Online service), 2008 r=on-line.Computer vision -ECCV 2008 / SpringerLink (Online service), 2008 r=on-line.On the move to meaningful internet systems: OTM 2008 / David. Hutchison, Gerhard. Weikum, Demetri. Terzopoulos [et al.] ; ed. R. Meersman, 2008 r=on-line.

Показать все результаты

Мир математики : в 40 т. [Т.] 22 : Сон разума. Математическая логика и ее парадоксы : [пер. с исп.] / Х. Фресан, 2014. - 141 с. - Текст : непосредственный.Кузнецов В.А. Метод вынуждения с точки зрения формальной системы G+ генценовского типа / В. А. Кузнецов, 1991. - 59 с. - Текст : непосредственный.Новиков П.С. Элементы математической логики, 1973. - 399 с. - Текст : непосредственный.Верещагин Н.К. Языки и исчисления / Н. К. Верещагин, А. Шень, 2000. - 286 с. - Текст : непосредственный.International series in operations research and management science / ed. F. S. Hillier. 130 : Logic and integer programming / H. P. Williams, 2009. - XI, 155 p. - Текст : непосредственный.Овчинникова Е.В. Структурные свойства и полнота класса регулярных полигонов : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / Е. В. Овчинникова, 2000. - 12 с. - Текст : непосредственный.Chen Y. Meshless methods in solid mechanics / Y. Chen, J. Lee, A. Eskandarian, 2006 r=on-line Romano A. Continuum mechanics using mathematica ® / A. Romano, A. Marasco, R. Lancellotta, 2006 r=on-line Teodorescu P.P. Mechanical systems, classical models / P. P. Teodorescu, 2007 r=on-line Иванова О.А. Алгоритмизация и численная реализация аналитических методов представления решений в задачах механики : специальность 01.01.09 "Дискретная математика и математическая кибернетика" : диссертация на соискание ученой степени канд. физ.-мат. наук / О. А. Иванова, 2007. - 15 с. - Текст : непосредственный.Герасимов А.С. Разработка и реализация алгоритма поиска вывода в расширении бесконечнозначной предикатной логики Лукасевича : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : диссертация на соискание ученой степени канд. физ.-мат. наук / А. С. Герасимов, 2007. - 15 с. - Текст : непосредственный.Разностные схемы : сборник№ 5 / Ред. В. Г. Дулов, 1989. - 162 с. - Текст : непосредственный.Хованский А.Д. Геохимия аквальных ландшафтов / А. Д. Хованский, 1993. - 239 c. - Текст : непосредственный.Калинина Н.А. Система FABULA. Задачи преобразований и оптимизация в булевых алгебрах. Входной язык и архитектура системы / Н. А. Калинина, В. А. Климов, М. И. Нечепуренко, 1995. - 47 c. - Текст : непосредственный.Алфимов Р.В. Полиномиальный алгоритм для задачи выполнимости булевой формулы / Р. В. Алфимов, 1995. - 15 c. - Текст : непосредственный.Ершов Ю.Л. Математическая логика / Ю. Л. Ершов, Е. А. Палютин, 2004. - 336 с. - Текст : непосредственный.Кузнецов П.Б. Основы нечеткой математики. Теория нечетких множеств / П. Б. Кузнецов, Ю. К. Оленикова, 2003. - 154 с. - Текст : непосредственный.Арсеньев Д.Г. Адаптивное управление в стохастических методах вычислительной математики и механики : учебное пособие / Д. Г. Арсеньев, В. М. Иванов, М. Л. Кореневский, 2008. - 423 с. - Текст : непосредственный.Цивинский С.В. Специальная теория относительности, понятие времени, новая возможность уточнения классической механики и зависимость физических свойств от скорости движения / С. В. Цивинский, 1989. - 33 л. - Текст : непосредственный.Численные методы механики сплошной среды : материалы временных коллективов / АН СССР, Сибирское отделение, 1991. - 171 с. - Текст : непосредственный.

Показать все результаты

Лицевая сторона карточки	Обратная сторона карточки

Лицевая сторона карточки	Обратная сторона карточки

Лицевая сторона карточки	Обратная сторона карточки

Лицевая сторона карточки	Обратная сторона карточки

Лицевая сторона карточки	Обратная сторона карточки

Лицевая сторона карточки	Обратная сторона карточки

Лицевая сторона карточки	Обратная сторона карточки

Лицевая сторона карточки	Обратная сторона карточки

Лицевая сторона карточки	Обратная сторона карточки

Лицевая сторона карточки	Обратная сторона карточки

Лицевая сторона карточки	Обратная сторона карточки

22nd international symposium on multiple-valued logic,May 27-29,1992,Sendai : Proc. / International symposium on multiple-valued logic (22; 1992; Sendai), 1992. - XV,482 p. p. - Текст : непосредственный.Proceedings of the 18th International symposium on multiplevalued logic,May 24-26,1988,Palma de Mallorca / International symposium on multiplevalued logic (18; 1988; Palma de Mallorca), 1988. - XIII,422 p. p. - Текст : непосредственный.Десятая Всесоюзная конференция по математической логике, Алма-Ата, 1-3 нояб. 1990 г. : Тез. докл. / Всесоюзная конф. по мат. логике (10; 1990; Алма-Ата), 1990. - 176 c. - Текст : непосредственный.Higher order logic theorem proving and its applications : 6th intern.workshop,HUG'93,Vancouver,B.C.,Canada,Aug.11-13 1993:Proc. / Ed.: J. J. Joyce, C.-J.H. Seger, 1994. - IX,517 p. p. - Текст : непосредственный.Orders,algorithms and applications : Intern.workshop ORDAL'94,Lyon,July 4-8 1994:Proc. / ORDAL'94, 1994. - 204 p. - Текст : непосредственный.XI Межреспубликанская конференция по математической логике, Казань, 6-8 окт. : Тез.сообщ. / Межреспубликанская конф. по мат. логике (11; 1992; Казань), 1992. - 164 с. - Текст : непосредственный.Импликативная алгебра выбора и непрерывная логика в прикладных задачах науки и техники, 2002. - 97 с. - Текст : непосредственный.1 Всероссийская научная конференция "Непрерывная логика и ее применение в технике, экономике и социологии" : Тезисы докл.22-23 сент.1994 г. / "Непрерывная логика и ее применение в технике, экономике и социологии",всерос. науч. конф. (1; 1994; Пенза), 1994. - 142 c. - Текст : непосредственный.Logics in artificial intelligence : 10th european conference, JELIA 2006 Liverpool, UK, September 13-15, 2006: proceedings / ed. M. Fisher [et al.], 2006 r=on-line. - Текст : электронный.

Показать все результаты

Higher order logic theorem proving and its applications : 6th intern.workshop,HUG'93,Vancouver,B.C.,Canada,Aug.11-13 1993:Proc. / Ed.: J. J. Joyce, C.-J.H. Seger, 1994. - IX,517 p. p. - Текст : непосредственный.

Заказ фрагмента документа ₽