电子书 > 科学 > 工程/技术 > Claudia Casadio & Bob Coecke: Categories and Types in Logic, Language, and Physics (PDF)

Claudia Casadio & Bob Coecke
Categories and Types in Logic, Language, and Physics [PDF ebook]
Essays dedicated to Jim Lambek on the Occasion of this 90th Birthday

支持

的封面 Claudia Casadio & Bob Coecke: Categories and Types in Logic, Language, and Physics (PDF)

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.

€57.84

购买此电子书可免费获赠一本！

语言英语 ● 格式 PDF ● ISBN 9783642547898 ● 编辑 Claudia Casadio & Bob Coecke ● 出版者 Springer Berlin Heidelberg ● 发布时间 2014 ● 下载 3 时 ● 货币 EUR ● ID 6379616 ● 复制保护 Adobe DRM

需要具备DRM功能的电子书阅读器

来自同一作者的更多电子书 / 编辑

Claudia Casadio Bob Coecke Michael Moortgat Philip Scott

99,067 此类电子书

的封面 Mario Di Giovanni: Flat and Corrugated Diaphragm Design Handbook

Mario Di Giovanni: Flat and Corrugated Diaphragm Design Handbook

Flat and Corrugated Diaphragm Design Handbook provides simple, useful methods for diaphragmdesign, performance evaluation, and material selection. The text is a practical andcomplete guide to solving …

的封面 Bob McFarlane: Beginning AutoCAD 2002

Bob McFarlane: Beginning AutoCAD 2002

New features in Auto CAD 2002 are covered in this book, making it a useful refresher course for anyone using Auto CAD at this level, and upgrading to the new software release. The material in the boo …

的封面 Bin (Washington State University, Pullman, Washington, USA) Li & Katie (Washington State University, Pullman, Washington, USA) Zhong: Polymer Nanocomposites for Dielectrics

Bin (Washington State University, Pullman, Washington, USA) Li & Katie (Washington State University, Pullman, Washington, USA) Zhong: Polymer Nanocomposites for Dielectrics

Polymers have been used as dielectric materials owing to their light weight, great flexibility, and processability as well as high insulation properties. To enhance their performance for various …

的封面 Anurag Jyoti & Shuchi Kaushik: Nanobiotechnology

Anurag Jyoti & Shuchi Kaushik: Nanobiotechnology

This new book, Nanobiotechnology: Concepts and Applications in Health, Agriculture, and Environment, presents a broad conceptual overview regarding the synthesis, applications, and toxicological aspe …

的封面 Guido Dartmann & Volker Lucken: Smart Transportation

Guido Dartmann & Volker Lucken: Smart Transportation

The book provides a broad overview of the challenges and recent developments in the field of smart mobility and transportation, including technical, algorithmic and social aspects of smart mobility a …

的封面 Tan Kok Kiong (National University of Singapore) & Huang (National University of Singapore) Sunan: Modeling and Control of Precision Actuators

Tan Kok Kiong (National University of Singapore) & Huang (National University of Singapore) Sunan: Modeling and Control of Precision Actuators

Modeling and Control of Precision Actuators explores new technologies that can ultimately be applied in a myriad of industries. It covers dynamical analysis of precise actuators and strategies of des …

的封面 Chinmay K. Maiti: Fabless Semiconductor Manufacturing

Chinmay K. Maiti: Fabless Semiconductor Manufacturing

This book deals with 3D nanodevices such as nanowire and nanosheet transistors at 7 nm and smaller technology nodes. It discusses technology computer-aided design (TCAD) simulations of stress- and st …

的封面 Michael Curtis & Florian Jentsch: Simulation in Aviation Training

Michael Curtis & Florian Jentsch: Simulation in Aviation Training

Simulations have been a fixture of aviation training for many years. Advances in simulator technology now enable modern flight simulation to mimic very closely the look and feel of real world flight …

的封面 James F. (Cisco Systems, Santa Clara, California, USA) Ransome & John W. (Hypersecurity LLC, Houston, Texas, USA) Rittinghouse: Cloud Computing

James F. (Cisco Systems, Santa Clara, California, USA) Ransome & John W. (Hypersecurity LLC, Houston, Texas, USA) Rittinghouse: Cloud Computing

Cloud Computing: Implementation, Management, and Security provides an understanding of what cloud computing really means, explores how disruptive it may become in the future, and examines its advanta …

的封面 Sudhakara Rao Parvataneni: Fruits Size Measurement

Sudhakara Rao Parvataneni: Fruits Size Measurement

Sorting of fruits based on size is one of the important tasks performed in the packinghouses. Size is one of the parameters in grading of fruits …