Normal view
MARC view
Categories and Types in Logic, Language, and Physics (Record no. 402878)
[ view plain ]
000 -Маркер записи | |
---|---|
Контрольное поле постоянной длины | 04027nam a22005655i 4500 |
001 - Контрольный номер | |
Контрольное поле | vtls000545136 |
005 - Дата корректировки | |
Контрольное поле | 20210922083226.0 |
007 - Кодируемые данные (физ. описан.) | |
Контрольное поле постоянной длины | cr nn 008mamaa |
008 - Кодируемые данные | |
Контрольное поле постоянной длины | 160915s2014 gw | s |||| 0|eng d |
020 ## - Индекс ISBN | |
ISBN | 9783642547898 |
-- | 978-3-642-54789-8 |
024 7# - Прочие стандартные номера | |
Стандартный номер | 10.1007/978-3-642-54789-8 |
Источник номера | doi |
035 ## - Системный контрольный номер | |
Системный контрольный номер | to000545136 |
040 ## - Источник каталогиз. | |
Служба первич. каталог. | Springer |
Служба, преобразующая запись | Springer |
Организация, изменившая запись | RU-ToGU |
050 #4 - Расстановочный код библ. Конгресса | |
Классификационный индекс | QA8.9-QA10.3 |
072 #7 - Код предметной/темат. категории | |
Код предметной/темат. категории | UYA |
Источник кода | bicssc |
072 #7 - Код предметной/темат. категории | |
Код предметной/темат. категории | MAT018000 |
Источник кода | bisacsh |
072 #7 - Код предметной/темат. категории | |
Код предметной/темат. категории | COM051010 |
Источник кода | bisacsh |
082 04 - Индекс Дьюи | |
Индекс Дьюи | 005.131 |
Номер издания | 23 |
245 10 - Заглавие | |
Заглавие | Categories and Types in Logic, Language, and Physics |
Физический носитель | electronic resource |
Продолж. заглавия | Essays Dedicated to Jim Lambek on the Occasion of His 90th Birthday / |
Ответственность | edited by Claudia Casadio, Bob Coecke, Michael Moortgat, Philip Scott. |
260 ## - Выходные данные | |
Место издания | Berlin, Heidelberg : |
Издательство | Springer Berlin Heidelberg : |
-- | Imprint: Springer, |
Дата издания | 2014. |
300 ## - Физическое описание | |
Объем | XII, 421 p. 61 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 ; |
№ тома | 8222 |
505 0# - Примечание о содержании | |
Содержание | Semantic Unification: A Sheaf Theoretic Approach to Natural Language -- On Residuation -- Type Similarity for the Lambek-Grishin Calculus Revisited -- NP-Completeness of Grammars Based Upon Products of Free Pregroups -- Distributional Semantics: A Montagovian View -- A Logical Basis for Quantum Evolution and Entanglement -- Learning Lambek Grammars from Proof Frames -- Multi-Sorted Residuation -- Italian Clitic Patterns in Pregroup Grammar: State of the Art -- On Associative Lambek Calculus Extended with Basic Proper Axioms -- Classical Structures Based on Unitaries -- Initial Algebras of Terms with Binding and Algebraic Structure -- Abstract Tensor Systems as Monoidal Categories -- On Canonical Embeddings of Residuated Groupoids -- L-Completeness of the Lambek Calculus with the Reversal Operation Allowing Empty Antecedents -- A Note on Multidimensional Dyck Languages -- Extended Lambek Calculi and First-Order Linear Logic -- A Categorial Type Logic -- Chasing Diagrams in Cryptography -- The Monotone Lambek Calculus Is NP-Complete -- A Mathematical Analysis of Masaccio’s Trinity -- Conjoin ability in 1-Discontinuous Lambek Calculus -- The Hidden Structural Rules of the Discontinuous Lambek Calculus. |
520 ## - Аннотация | |
Аннотация | For more than 60 years, Jim Lambek has been a profoundly inspirational mathematician, with groundbreaking contributions to algebra, category theory, linguistics, theoretical physics, logic and proof theory. This Festschrift was put together on the occasion of his 90th birthday. The papers in it give a good picture of the multiple research areas where the impact of Jim Lambek's work can be felt. The volume includes contributions by prominent researchers and by their students, showing how Jim Lambek's ideas keep inspiring upcoming generations of scholars. |
650 #0 - Тематические рубрики | |
Основная рубрика | Computer Science. |
9 (RLIN) | 155490 |
650 #0 - Тематические рубрики | |
Основная рубрика | Logic design. |
9 (RLIN) | 306256 |
650 14 - Тематические рубрики | |
Основная рубрика | Computer Science. |
9 (RLIN) | 155490 |
650 24 - Тематические рубрики | |
Основная рубрика | Mathematical Logic and Formal Languages. |
9 (RLIN) | 303363 |
650 24 - Тематические рубрики | |
Основная рубрика | Computation by Abstract Devices. |
9 (RLIN) | 305111 |
650 24 - Тематические рубрики | |
Основная рубрика | Logics and Meanings of Programs. |
9 (RLIN) | 306257 |
650 24 - Тематические рубрики | |
Основная рубрика | History of Computing. |
9 (RLIN) | 304593 |
650 24 - Тематические рубрики | |
Основная рубрика | Computer Science, general. |
9 (RLIN) | 155491 |
650 24 - Тематические рубрики | |
Основная рубрика | Computer Science, general. |
9 (RLIN) | 155491 |
700 1# - Другие авторы | |
Другие авторы | Casadio, Claudia. |
Роль лиц | editor. |
9 (RLIN) | 453216 |
700 1# - Другие авторы | |
Другие авторы | Coecke, Bob. |
Роль лиц | editor. |
9 (RLIN) | 417061 |
700 1# - Другие авторы | |
Другие авторы | Moortgat, Michael. |
Роль лиц | editor. |
9 (RLIN) | 453217 |
700 1# - Другие авторы | |
Другие авторы | Scott, Philip. |
Роль лиц | editor. |
9 (RLIN) | 453218 |
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-642-54789-8">http://dx.doi.org/10.1007/978-3-642-54789-8</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) | 402878 |
No items available.