Ebook > Ciência > Técnica > 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

Apoio

Capa do 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.37

Compre este e-book e ganhe mais 1 GRÁTIS!

Língua Inglês ● Formato PDF ● ISBN 9783642547898 ● Editor Claudia Casadio & Bob Coecke ● Editora Springer Berlin Heidelberg ● Publicado 2014 ● Carregável 3 vezes ● Moeda EUR ● ID 6379616 ● Proteção contra cópia Adobe DRM

Requer um leitor de ebook capaz de DRM

Mais ebooks do mesmo autor(es) / Editor

Claudia Casadio Bob Coecke Michael Moortgat Philip Scott

95.489 Ebooks nesta categoria

Capa do Celine McKeown: Office Ergonomics

Celine McKeown: Office Ergonomics

Moving from theory to practical reality, this book tackles both simple and complex issues, demonstrating how to create offices that accommodate all workers. It contains practical advice on how to …

Capa do Lila Bozgeyikli & Ren Bozgeyikli: Virtual Reality

Lila Bozgeyikli & Ren Bozgeyikli: Virtual Reality

Although the emergence of virtual reality (VR) goes back to the 1960s, with the recent availability of low-cost and high-accuracy systems it has become increasingly prevalent in a wide variety of are …

Capa do Ankur (Arizona State University) Chowdhary & Dijiang (Arizona State University, Tempe, USA) Huang: Software-Defined Networking and Security

Ankur (Arizona State University) Chowdhary & Dijiang (Arizona State University, Tempe, USA) Huang: Software-Defined Networking and Security

This book provides readers insights into cyber maneuvering or adaptive and intelligent cyber defense. It describes the required models and security supporting functions that enable the analysis of po …

Capa do Salomone: What Every Engineer Should Know about Concurrent Engineering

Salomone: What Every Engineer Should Know about Concurrent Engineering

This work offers a step-by-step approach to the overall concurrent engineering (CE) development process, presenting both fundamental principles and advanced concepts, while focusing on rapid product …

Capa do Antonella D'Alessandro & Annibale Luigi Materazzi: Nanotechnology in Cement-Based Construction

Antonella D’Alessandro & Annibale Luigi Materazzi: Nanotechnology in Cement-Based Construction

Many books on new smart materials are available, but specialized analysis of particular topics is still in high demand. This multiauthor book focuses on applying nanotechnology to cement-based materi …

Capa do E. S. Oxner: Fet Technology and Application

E. S. Oxner: Fet Technology and Application

This book provides the reader with some insights into the many styles of field effect transistors (FETs) being used. It offers a rudimentary understanding of their operation and performance. The book …

Capa do Xianhua (Southeast University, China) Chen & Markus (RWTH Aachen University, Germany) Oeser: Functional Pavements

Xianhua (Southeast University, China) Chen & Markus (RWTH Aachen University, Germany) Oeser: Functional Pavements

Functional Pavements is a collection of papers presented at the 6th Chinese-European Workshop (CEW) on Functional Pavement Design (Nanjing, China, October 18-21, 2020). The focus of the CEW series is …

Capa do Nicholas P. Cheremisinoff & Louise Ferrante: Practical Statistics for Engineers and Scientists

Nicholas P. Cheremisinoff & Louise Ferrante: Practical Statistics for Engineers and Scientists

This book provides direction in constructing regression routines that can be used with worksheet software on personal computers. The book lists useful references for those readers who desire more …

Capa do Jyoti Kumar Sinha: Industrial Approaches in Vibration-Based Condition Monitoring

Jyoti Kumar Sinha: Industrial Approaches in Vibration-Based Condition Monitoring

Vibration-based condition monitoring (VCM) is a well-accepted approach in industries for early detection of any defect, thereby triggering the maintenance process and ultimately reducing overheads an …

Capa do V. K. Jain: Advanced Machining Science

V. K. Jain: Advanced Machining Science

As machining processes become more advanced, so does the science behind them. This book emphasizes these scientific developments in addition to the more widely covered technological aspects, providin …

Próxima página >>>