Atnaujintas knygų su minimaliais defektais pasiūlymas! Naršykite ČIA >>

0 Mėgstami
0Krepšelis

Computational Logic and Proof Theory: 5th Kurt Gödel Colloquium, KGC97, Vienna, Austria, August 25-29, 1997, Proceedings

-20% su kodu: BOOKS
67,74 
Įprasta kaina: 84,68 
-20% su kodu: BOOKS
Kupono kodas: BOOKS
Akcija baigiasi: 2025-03-09
-20% su kodu: BOOKS
67,74 
Įprasta kaina: 84,68 
-20% su kodu: BOOKS
Kupono kodas: BOOKS
Akcija baigiasi: 2025-03-09
-20% su kodu: BOOKS
2025-02-28 84.6800 InStock
Nemokamas pristatymas į paštomatus per 11-15 darbo dienų užsakymams nuo 10,00 

Knygos aprašymas

This book constitutes the refereed proceedings of the 5th Kurt Gödel Colloquium on Computational Logic and Proof Theory, KGC '97, held in Vienna, Austria, in August 1997. The volume presents 20 revised full papers selected from 38 submitted papers. Also included are seven invited contributions by leading experts in the area. The book documents interdisciplinary work done in the area of computer science and mathematical logics by combining research on provability, analysis of proofs, proof search, and complexity.

Informacija

Serija: Lecture Notes in Computer Science
Leidėjas: Springer Berlin Heidelberg
Išleidimo metai: 1997
Knygos puslapių skaičius: 364
ISBN-10: 3540633855
ISBN-13: 9783540633853
Formatas: 235 x 155 x 20 mm. Knyga minkštu viršeliu
Kalba: Anglų

Pirkėjų atsiliepimai

Parašykite atsiliepimą apie „Computational Logic and Proof Theory: 5th Kurt Gödel Colloquium, KGC97, Vienna, Austria, August 25-29, 1997, Proceedings“

Būtina įvertinti prekę

Goodreads reviews for „Computational Logic and Proof Theory: 5th Kurt Gödel Colloquium, KGC97, Vienna, Austria, August 25-29, 1997, Proceedings“