ERROR

Kami ingin memohon maaf - walaupun kami melakukan yang terbaik: Ralat berlaku
Typedatabase
MessageYou have an error in your SQL syntax; check the manual that corresponds to your MariaDB server version for the right syntax to use near "AND SUBSTRING(categories_id,4,1) != "0") AS cat4, (SELECT categorie..." at line 5
QuerySELECT (SELECT categories_id FROM categories_description WHERE language_id = 19 AND categories_id = 000) AS cat1, (SELECT categories_id FROM categories_description WHERE language_id = 19 AND categories_id = 00 AND SUBSTRING(categories_id,2,1) != "0") AS cat2, (SELECT categories_id FROM categories_description WHERE language_id = 19 AND categories_id = 0 AND SUBSTRING(categories_id,3,1) != "0") AS cat3, (SELECT categories_id FROM categories_description WHERE language_id = 19 AND categories_id = AND SUBSTRING(categories_id,4,1) != "0") AS cat4, (SELECT categories_name FROM categories_description WHERE language_id = 19 AND categories_id = 000) AS cat1name, (SELECT categories_name FROM categories_description WHERE language_id = 19 AND categories_id = 00 AND SUBSTRING(categories_id,2,1) != "0") AS cat2name, (SELECT categories_name FROM categories_description WHERE language_id = 19 AND categories_id = 0 AND SUBSTRING(categories_id,3,1) != "0") AS cat3name, (SELECT categories_name FROM categories_description WHERE language_id = 19 AND categories_id = AND SUBSTRING(categories_id,4,1) != "0") AS cat4name, (SELECT url_text FROM commerce_seo_url_without_language WHERE categories_id = 000) AS cat1url, (SELECT url_text FROM commerce_seo_url_without_language WHERE categories_id = 00 AND SUBSTRING(categories_id,2,1) != "0") AS cat2url, (SELECT url_text FROM commerce_seo_url_without_language WHERE categories_id = 0 AND SUBSTRING(categories_id,3,1) != "0") AS cat3url, (SELECT url_text FROM commerce_seo_url_without_language WHERE categories_id = AND SUBSTRING(categories_id,4,1) != "0") AS cat4url, (SELECT wod_count_products FROM categories WHERE categories_id = 000) AS cat1cnt, (SELECT wod_count_products FROM categories WHERE categories_id = 00 AND SUBSTRING(categories_id,2,1) != "0") AS cat2cnt, (SELECT wod_count_products FROM categories WHERE categories_id = 0 AND SUBSTRING(categories_id,3,1) != "0") AS cat3cnt, (SELECT wod_count_products FROM categories WHERE categories_id = AND SUBSTRING(categories_id,4,1) != "0") AS cat4cnt

Klaus Mainzer & Helmut Schwichtenberg 
PROOF AND COMPUTATION II [EPUB ebook] 
From Proof Theory and Univalent Mathematics to Program Extraction and Verification

Support
Cover of Klaus Mainzer & Helmut Schwichtenberg: PROOF AND COMPUTATION II (ePUB)

This book is for graduate students and researchers, introducing modern foundational research in mathematics, computer science, and philosophy from an interdisciplinary point of view. Its scope includes proof theory, constructive mathematics and type theory, univalent mathematics and point-free approaches to topology, extraction of certified programs from proofs, automated proofs in the automotive industry, as well as the philosophical and historical background of proof theory. By filling the gap between (under-)graduate level textbooks and advanced research papers, the book gives a scholarly account of recent developments and emerging branches of the aforementioned fields.

€114.99
payment methods
Buy this ebook and get 1 more FREE!
Language English ● Format EPUB ● Pages 424 ● ISBN 9789811236495 ● File size 8.6 MB ● Editor Klaus Mainzer & Helmut Schwichtenberg ● Publisher World Scientific Publishing Company ● City Singapore ● Country SG ● Published 2021 ● Downloadable 24 months ● Currency EUR ● ID 7908171 ● Copy protection Adobe DRM
Requires a DRM capable ebook reader

More ebooks from the same author(s) / Editor

Klaus MainzerPeter Schuster;Helmut SchwichtenbergHelmut SchwichtenbergPeter Michael Schuster

49,921 Ebooks in this category

Cover of Ann Cannon & Starnes Daren: Introductory Statistics: A Student-Centered Approach
Ann Cannon & Starnes Daren: Introductory Statistics: A Student-Centered Approach
EPUB
Adobe DRM
€61.89
Cover of Taolue Chen & Yu Zhou: Software Adaptation in an Open Environment
Taolue Chen & Yu Zhou: Software Adaptation in an Open Environment
The book is about a very active research field in software engineering. In modern society, the fact of the world”s high reliance on software requires the system”s robustness, i.e., continual availa …
EPUB
Adobe DRM
€55.08
Cover of Angel R. (U.S. Bureau of Labor Statistics, Washington, DC, USA) Martinez & Wendy L. (U.S. Bureau of Labor Statistics, Washington, DC, USA) Martinez: Exploratory Data Analysis with MATLAB
Angel R. (U.S. Bureau of Labor Statistics, Washington, DC, USA) Martinez & Wendy L. (U.S. Bureau of Labor Statistics, Washington, DC, USA) Martinez: Exploratory Data Analysis with MATLAB
Praise for the Second Edition: ‘The authors present an intuitive and easy-to-read book. … accompanied by many examples, proposed exercises, good references, and comprehensive appendices that initiate …
EPUB
Adobe DRM
€59.16
Cover of Randal (University of Central Florida, Orlando, USA) Allen & Harold (University of Central Florida, Orlando, USA) Klee: Simulation of Dynamic Systems with MATLAB® and Simulink®
Randal (University of Central Florida, Orlando, USA) Allen & Harold (University of Central Florida, Orlando, USA) Klee: Simulation of Dynamic Systems with MATLAB® and Simulink®
Continuous-system simulation is an increasingly important tool for optimizing the performance of real-world systems. The book presents an integrated treatment of continuous simulation with all the ba …
EPUB
Adobe DRM
€70.46
Cover of Friedrich (University of Natural Resources and Life Sciences, Institute of Applied Statistics and Computing, Vienna, Austria) Leisch & Roger D. (Johns Hopkins University, Baltimore, Maryland, USA) Peng: Implementing Reproducible Research
Friedrich (University of Natural Resources and Life Sciences, Institute of Applied Statistics and Computing, Vienna, Austria) Leisch & Roger D. (Johns Hopkins University, Baltimore, Maryland, USA) Peng: Implementing Reproducible Research
In computational science, reproducibility requires that researchers make code and data available to others so that the data can be analyzed in a similar manner as in the original publication. Code mu …
EPUB
Adobe DRM
€59.31
Cover of Vineetha (CSIR-NAL, Kodihalli, Bangalore, India) Joy & Raveendranath U. (CSIR-NAL, Kodihalli, Bangalore, India) Nair: Optimization of Multilayered Radar Absorbing Structures (RAS) using Nature Inspired Algorithm
Vineetha (CSIR-NAL, Kodihalli, Bangalore, India) Joy & Raveendranath U. (CSIR-NAL, Kodihalli, Bangalore, India) Nair: Optimization of Multilayered Radar Absorbing Structures (RAS) using Nature Inspired Algorithm
Stealth technology is a crucial pre-requisite in the combat zone, where swiftness, surprise and initiative are the decisive elements for survivability. The supreme goal here is to reduce the visibili …
EPUB
Adobe DRM
€59.28
Cover of Valentin A. (University of Bucharest, Romania) Boicea: Energy Management
Valentin A. (University of Bucharest, Romania) Boicea: Energy Management
This book introduces the principle of carrying out a medium-term load forecast (MTLF) at power system level, based on the Big Data concept and Convolutionary Neural Network (CNNs). It also presents f …
EPUB
Adobe DRM
€25.66
Cover of Gerhard X. Ritter & Gonzalo Urcid: Introduction to Lattice Algebra
Gerhard X. Ritter & Gonzalo Urcid: Introduction to Lattice Algebra
Lattice theory extends into virtually every branch of mathematics, ranging from measure theory and convex geometry to probability theory and topology. A more recent development has been the rapid esc …
EPUB
Adobe DRM
€59.32
Cover of Brian Osserman: Concise Introduction to Algebraic Varieties
Brian Osserman: Concise Introduction to Algebraic Varieties
Designed for a one-term introductory course on algebraic varieties over an algebraically closed field, this book prepares students to continue either with a course on schemes and cohomology, or to le …
EPUB
Adobe DRM
€131.21
Cover of H.F Jones: Groups, Representations and Physics
H.F Jones: Groups, Representations and Physics
Illustrating the fascinating interplay between physics and mathematics, Groups, Representations and Physics, Second Edition provides a solid foundation in the theory of groups, particularly group rep …
EPUB
Adobe DRM
€88.75
Next page >>>