Scientific Library of Tomsk State University

   E-catalog        

Normal view MARC view

Logic for Programming, Artificial Intelligence, and Reasoning (Record no. 417027)

000 -Маркер записи
Контрольное поле постоянной длины 03269nam a22006135i 4500
001 - Контрольный номер
Контрольное поле vtls000561995
005 - Дата корректировки
Контрольное поле 20210922090756.0
007 - Кодируемые данные (физ. описан.)
Контрольное поле постоянной длины cr nn 008mamaa
008 - Кодируемые данные
Контрольное поле постоянной длины 170213s2015 gw | s |||| 0|eng d
020 ## - Индекс ISBN
ISBN 9783662488997
-- 978-3-662-48899-7
024 7# - Прочие стандартные номера
Стандартный номер 10.1007/978-3-662-48899-7
Источник номера doi
035 ## - Системный контрольный номер
Системный контрольный номер to000561995
040 ## - Источник каталогиз.
Служба первич. каталог. Springer
Служба, преобразующая запись Springer
Организация, изменившая запись RU-ToGU
050 #4 - Расстановочный код библ. Конгресса
Классификационный индекс QA76.758
072 #7 - Код предметной/темат. категории
Код предметной/темат. категории UMZ
Источник кода bicssc
072 #7 - Код предметной/темат. категории
Код предметной/темат. категории COM051230
Источник кода bisacsh
082 04 - Индекс Дьюи
Индекс Дьюи 005.1
Номер издания 23
245 10 - Заглавие
Заглавие Logic for Programming, Artificial Intelligence, and Reasoning
Физический носитель electronic resource
Продолж. заглавия 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings /
Ответственность edited by Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov.
250 ## - Сведения об издании
Основные сведения об издании 1st ed. 2015.
260 ## - Выходные данные
Место издания Berlin, Heidelberg :
Издательство Springer Berlin Heidelberg :
-- Imprint: Springer,
Дата издания 2015.
300 ## - Физическое описание
Объем XV, 640 p. 142 illus. in color.
Иллюстрации/тип воспроизводства online resource.
336 ## - Тип содержимого
Тип содержимого text
Content type code txt
Source rdacontent
337 ## - Средство доступа
Средство доступа computer
Media type code c
Source rdamedia
338 ## - Тип носителя
Тип носителя online resource
Carrier type code cr
Source rdacarrier
490 1# - Серия
Заглавие серии Lecture Notes in Computer Science,
ISSN серии 0302-9743 ;
№ тома 9450
520 ## - Аннотация
Аннотация This book constitutes the proceedings of the 20th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-20, held in November 2015, in Suva, Fiji. The 43 regular papers presented together with 1 invited talk included in this volume were carefully reviewed and selected from 92 submissions. The series of International Conferences on Logic for Programming, Artificial Intelligence and Reasoning, LPAR, is a forum where, year after year, some of the most renowned researchers in the areas of logic, automated reasoning, computational logic, programming languages and their applications come to present cutting-edge results, to discuss advances in these fields, and to exchange ideas in a scientifically emerging part of the world.
650 #0 - Тематические рубрики
Основная рубрика Computer Science.
9 (RLIN) 155490
650 #0 - Тематические рубрики
Основная рубрика Computer programming.
9 (RLIN) 439171
650 #0 - Тематические рубрики
Основная рубрика Software engineering.
9 (RLIN) 566225
650 #0 - Тематические рубрики
Основная рубрика Programming languages (Electronic computers).
9 (RLIN) 459680
650 #0 - Тематические рубрики
Основная рубрика Computer logic.
9 (RLIN) 463252
650 #0 - Тематические рубрики
Основная рубрика Mathematical logic.
9 (RLIN) 461383
650 #0 - Тематические рубрики
Основная рубрика Artificial intelligence.
9 (RLIN) 274099
650 14 - Тематические рубрики
Основная рубрика Computer Science.
9 (RLIN) 155490
650 24 - Тематические рубрики
Основная рубрика Software Engineering.
9 (RLIN) 566285
650 24 - Тематические рубрики
Основная рубрика Artificial Intelligence (incl. Robotics).
9 (RLIN) 274102
650 24 - Тематические рубрики
Основная рубрика Logics and Meanings of Programs.
9 (RLIN) 306257
650 24 - Тематические рубрики
Основная рубрика Mathematical Logic and Formal Languages.
9 (RLIN) 303363
650 24 - Тематические рубрики
Основная рубрика Programming Techniques.
9 (RLIN) 566312
650 24 - Тематические рубрики
Основная рубрика Programming Languages, Compilers, Interpreters.
9 (RLIN) 303287
700 1# - Другие авторы
Другие авторы Davis, Martin.
Роль лиц editor.
9 (RLIN) 414201
700 1# - Другие авторы
Другие авторы Fehnker, Ansgar.
Роль лиц editor.
9 (RLIN) 470385
700 1# - Другие авторы
Другие авторы McIver, Annabelle.
Роль лиц editor.
9 (RLIN) 312192
700 1# - Другие авторы
Другие авторы Voronkov, Andrei.
Роль лиц editor.
9 (RLIN) 321558
710 2# - Другие организации
Организация/юрисдикция SpringerLink (Online service)
9 (RLIN) 143950
773 0# - Источник информации
Название источника Springer eBooks
830 #0 - Заголовок добавочной библ.записи на серию — унифицированное заглавие
Унифицированное заглавие Lecture Notes in Computer Science,
9 (RLIN) 279505
856 40 - Электронный адрес документа
URL <a href="http://dx.doi.org/10.1007/978-3-662-48899-7">http://dx.doi.org/10.1007/978-3-662-48899-7</a>
912 ## - Coursera for Campus: онлайн курсы для ТГУ
Coursera for Campus: онлайн курсы для ТГУ ZDB-2-SCS
912 ## - Coursera for Campus: онлайн курсы для ТГУ
Coursera for Campus: онлайн курсы для ТГУ ZDB-2-LNC
999 ## - Системные контрольные номера (Koha)
biblionumber (Koha) 417027

No items available.