Catalog > Ciencia > Matemáticas > E. Borger & W. Oberschelp: Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983 (PDF)

E. Borger & W. Oberschelp
Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983 [PDF ebook]
Part 2: Computation and Proof Theory

Soporte

Portada de E. Borger & W. Oberschelp: Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983 (PDF)

€43.72

¡Compre este libro electrónico y obtenga 1 más GRATIS!

Idioma Inglés ● Formato PDF ● ISBN 9783540391197 ● Editor E. Borger & W. Oberschelp ● Editorial Springer Berlin Heidelberg ● Publicado 2006 ● Descargable 3 veces ● Divisa EUR ● ID 6593103 ● Protección de copia Adobe DRM

Requiere lector de ebook con capacidad DRM

Más ebooks del mismo autor / Editor

E. Borger W. Oberschelp M. M. Richter B. Schinzel W. Thomas

49.673 Ebooks en esta categoría

Portada de Luca (University of Parma) Lorenzi & Adbelaziz (University of Salerno) Rhandi: Semigroups of Bounded Operators and Second-Order Elliptic and Parabolic Partial Differential Equations

Luca (University of Parma) Lorenzi & Adbelaziz (University of Salerno) Rhandi: Semigroups of Bounded Operators and Second-Order Elliptic and Parabolic Partial Differential Equations

Semigroups of Bounded Operators and Second-Order Elliptic and Parabolic Partial Differential Equations aims to propose a unified approach to elliptic and parabolic equations with bounded and smooth c …

Portada de Gary L. (The Pennsylvania State University, University Park, USA) Mullen & James A. (The Pennsylvania State University, University Park, USA) Sellers: Abstract Algebra

Gary L. (The Pennsylvania State University, University Park, USA) Mullen & James A. (The Pennsylvania State University, University Park, USA) Sellers: Abstract Algebra

Abstract Algebra: A Gentle Introduction advantages a trend in mathematics textbook publishing towards smaller, less expensive and brief introductions to primary courses. The authors move away from th …

Portada de Abduhamid Dzhuraev: Degenerate and Other Problems

Abduhamid Dzhuraev: Degenerate and Other Problems

This Monograph contains a collection of problems arising in partial differential equations investigated by means of complex analysis approached in elementary ways. …

Portada de Yi (Industry 4.0 Artificial Intelligence Laboratory, Dongguan University of Technology, China) Chen & Yun (Industry 4.0 Artificial Intelligence Laboratory, Dongguan University of Technology, China; Faculty of Engineering, University of Strathclyde, UK) Li

Yi (Industry 4.0 Artificial Intelligence Laboratory, Dongguan University of Technology, China) Chen & Yun (Industry 4.0 Artificial Intelligence Laboratory, Dongguan University of Technology, China; Faculty of Engineering, University of Strathclyde, UK) Li

Computational Intelligence Assisted Design framework mobilises computational resources, makes use of multiple Computational Intelligence (CI) algorithms and reduces computational costs. This book pro …

Portada de Elsa (University di Torino, Italy) Abbena & Alfred (University of Maryland, College Park, MD) Gray: Modern Differential Geometry of Curves and Surfaces with Mathematica

Elsa (University di Torino, Italy) Abbena & Alfred (University of Maryland, College Park, MD) Gray: Modern Differential Geometry of Curves and Surfaces with Mathematica

Presenting theory while using Mathematica in a complementary way, Modern Differential Geometry of Curves and Surfaces with Mathematica, the third edition of Alfred Gray’s famous textbook, covers how …

Portada de Boris V. Gnedenko & Victor Yu. Korolev: Random Summation

Boris V. Gnedenko & Victor Yu. Korolev: Random Summation

This book provides an introduction to the asymptotic theory of random summation, combining a strict exposition of the foundations of this theory and recent results. It also includes a description of …

Portada de Michael Joswig: Essentials of Tropical Combinatorics

Michael Joswig: Essentials of Tropical Combinatorics

The goal of this book is to explain, at the graduate student level, connections between tropical geometry and optimization. Building bridges between these two subject areas is fruitful in two ways. T …

Portada de D. Yogi (University of South Florida, USA) Goswami & Frank (University of Colorado, Boulder, USA (retired)) Kreith: Energy Efficiency and Renewable Energy Handbook

D. Yogi (University of South Florida, USA) Goswami & Frank (University of Colorado, Boulder, USA (retired)) Kreith: Energy Efficiency and Renewable Energy Handbook

For the Movers, Shakers, and Policy Makers in Energy Engineering and Related Industries The latest version of a bestselling reference, Energy Efficiency and Renewable Energy Handbook, Second Edition …

Portada de Nguyen Viet Dung: Extending Modules

Nguyen Viet Dung: Extending Modules

Module theory is an important tool for many different branches of mathematics, as well as being an interesting subject in its own right. Within module theory, the concept of injective modules is part …

Portada de John G. Papastavridis: Tensor Calculus and Analytical Dynamics

John G. Papastavridis: Tensor Calculus and Analytical Dynamics

Tensor Calculus and Analytical Dynamics provides a concise, comprehensive, and readable introduction to classical tensor calculus – in both holonomic and nonholonomic coordinates – as well as to its …

siguiente página >>>