Thomas Studer - Böcker
Visar alla böcker från författaren Thomas Studer. Handla med fri frakt och snabb leverans.
7 produkter
7 produkter
252 kr
Skickas inom 5-8 vardagar
Del 14672 - Lecture Notes in Computer Science
Logic, Language, Information, and Computation
30th International Workshop, WoLLIC 2024, Bern, Switzerland, June 10–13, 2024, Proceedings
Häftad, Engelska, 2024
715 kr
Skickas inom 10-15 vardagar
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 30th International Workshop on Logic, Language, Information, and Computation, WoLLIC 2024, held in Bern, Switzerland, during June 10–13, 2024.The 18 full papers included in this book were carefully reviewed and selected from 37 submissions. This book also contains six invited abstracts.The WoLLIC conference series aims at fostering interdisciplinary research in pure and applied logic.
436 kr
Skickas inom 3-6 vardagar
Del 28 - Progress in Computer Science and Applied Logic
Advances in Proof Theory
Inbunden, Engelska, 2016
1 064 kr
Skickas inom 10-15 vardagar
The aim of this volume is to collect original contributions by the best specialists from the area of proof theory, constructivity, and computation and discuss recent trends and results in these areas. Some emphasis will be put on ordinal analysis, reductive proof theory, explicit mathematics and type-theoretic formalisms, and abstract computations. The volume is dedicated to the 60th birthday of Professor Gerhard Jäger, who has been instrumental in shaping and promoting logic in Switzerland for the last 25 years. It comprises contributions from the symposium “Advances in Proof Theory”, which was held in Bern in December 2013.Proof theory came into being in the twenties of the last century, when it was inaugurated by David Hilbert in order to secure the foundations of mathematics. It was substantially influenced by Gödel's famous incompleteness theorems of 1930 and Gentzen's new consistency proof for the axiom system of first order number theory in 1936. Today, proof theory is a well-established branch of mathematical and philosophical logic and one of the pillars of the foundations of mathematics. Proof theory explores constructive and computational aspects of mathematical reasoning; it is particularly suitable for dealing with various questions in computer science.
Del 28 - Progress in Computer Science and Applied Logic
Advances in Proof Theory
Häftad, Engelska, 2018
1 064 kr
Skickas inom 10-15 vardagar
The aim of this volume is to collect original contributions by the best specialists from the area of proof theory, constructivity, and computation and discuss recent trends and results in these areas.
497 kr
Skickas inom 3-6 vardagar
Relationale Datenbanken
Von den theoretischen Grundlagen zu Anwendungen mit PostgreSQL
Häftad, Tyska, 2019
394 kr
Skickas inom 10-15 vardagar
Ein Buch über relationale Datenbanken in Theorie und Praxis Thomas Studer führt Sie in diesem Buch umfassend und verständlich in Theorie und Praxis relationaler Datenbanken ein.