Scientific Library of Tomsk State University

   E-catalog        

Normal view MARC view

Declarative Programming and Knowledge Management (Record no. 402115)

MARC details
000 -Маркер записи
Контрольное поле постоянной длины 03735nam a22005415i 4500
001 - Контрольный номер
Контрольное поле vtls000543799
005 - Дата корректировки
Контрольное поле 20210922083004.0
007 - Кодируемые данные (физ. описан.)
Контрольное поле постоянной длины cr nn 008mamaa
008 - Кодируемые данные
Контрольное поле постоянной длины 160915s2014 gw | s |||| 0|eng d
020 ## - Индекс ISBN
ISBN 9783319089096
-- 978-3-319-08909-6
024 7# - Прочие стандартные номера
Стандартный номер 10.1007/978-3-319-08909-6
Источник номера doi
035 ## - Системный контрольный номер
Системный контрольный номер to000543799
040 ## - Источник каталогиз.
Служба первич. каталог. Springer
Служба, преобразующая запись Springer
Организация, изменившая запись RU-ToGU
050 #4 - Расстановочный код библ. Конгресса
Классификационный индекс Q334-342
050 #4 - Расстановочный код библ. Конгресса
Классификационный индекс TJ210.2-211.495
072 #7 - Код предметной/темат. категории
Код предметной/темат. категории UYQ
Источник кода bicssc
072 #7 - Код предметной/темат. категории
Код предметной/темат. категории TJFM1
Источник кода bicssc
072 #7 - Код предметной/темат. категории
Код предметной/темат. категории COM004000
Источник кода bisacsh
082 04 - Индекс Дьюи
Индекс Дьюи 006.3
Номер издания 23
245 10 - Заглавие
Заглавие Declarative Programming and Knowledge Management
Физический носитель electronic resource
Продолж. заглавия Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers /
Ответственность edited by Michael Hanus, Ricardo Rocha.
260 ## - Выходные данные
Место издания Cham :
Издательство Springer International Publishing :
-- Imprint: Springer,
Дата издания 2014.
300 ## - Физическое описание
Объем X, 251 p. 51 illus.
Иллюстрации/тип воспроизводства 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 ;
№ тома 8439
505 0# - Примечание о содержании
Содержание Construction of Explanation Graphs from Extended Dependency Graphs for Answer Set Programs -- Sharing and Exchanging Data -- Propositional Encoding of Constraints over Tree-Shaped Data -- On a High-Level Approach to Implementing Exact Real Arithmetic in the Functional Logic Programming Language Curry -- On Axiomatic Rejection for the Description Logic ALC -- And Action! - Monoid Actions and (Pre)orders -- HEX-Programs with Existential Quantification -- Introducing Real Variables and Integer Objective Functions to Answer Set Programming -- Coverage Driven Test Generation and Consistency Algorithm -- A Datalog Engine for GPUs -- Towards Parallel Constraint-Based Local Search with the X10 Language -- Debate Games in Logic Programming -- A Descriptive Handling of Directly Con icting Rules in Preferred Answer Sets -- Some Experiments on Light-Weight Object-Functional-Logic Programming in Java with Paisley -- Heuristic Search Over Program Transformations.
520 ## - Аннотация
Аннотация This book constitutes the proceedings of the Kiel Declarative Programming Days, KDPD 2013, unifying the following conferences: the 20th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2013), the 22nd International Workshop on Functional and (Constraint) Logic Programming (WFLP 2013) and the 27th Workshop on Logic Programming (WLP 2013), held in Kiel, Germany, in September 2013. The 15 papers presented were carefully and reviewed and selected for inclusion in this book. They cover the following topics: logic programming, constraint problem solving, programmable logic solvers, functional programming and constraint programming.
650 #0 - Тематические рубрики
Основная рубрика Computer Science.
9 (RLIN) 155490
650 #0 - Тематические рубрики
Основная рубрика Information theory.
9 (RLIN) 303504
650 #0 - Тематические рубрики
Основная рубрика Artificial intelligence.
9 (RLIN) 274099
650 14 - Тематические рубрики
Основная рубрика Computer Science.
9 (RLIN) 155490
650 24 - Тематические рубрики
Основная рубрика Artificial Intelligence (incl. Robotics).
9 (RLIN) 274102
650 24 - Тематические рубрики
Основная рубрика Programming Techniques.
9 (RLIN) 566312
650 24 - Тематические рубрики
Основная рубрика Theory of Computation.
9 (RLIN) 303507
650 24 - Тематические рубрики
Основная рубрика Math Applications in Computer Science.
9 (RLIN) 303284
700 1# - Другие авторы
Другие авторы Hanus, Michael.
Роль лиц editor.
9 (RLIN) 324271
700 1# - Другие авторы
Другие авторы Rocha, Ricardo.
Роль лиц editor.
9 (RLIN) 451906
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-319-08909-6">http://dx.doi.org/10.1007/978-3-319-08909-6</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) 402115

No items available.