Name: Computational Logic and Proof Theory
Price: 583.95 DKK
Availability: InStock
Author: Alexander Leitsch
ISBN: 9783540633853

Computational Logic and Proof Theory af Alexander Leitsch

Du sparer 0% ift. normalprisen Spar 0%

Paperback
8-11 hverdage
583,95 kr.

Bag om Computational Logic and Proof Theory

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.

Vis mere

Sprog:
Engelsk

ISBN:
9783540633853

Forlag:
Springer Berlin Heidelberg

Indbinding:
Paperback

Sideantal:
364

Udgivet:
13. august 1997

Størrelse:
155x20x235 mm.

Vægt:
552 g.

Leveringstid: 8-11 hverdage.
Forventet levering: 12. december 2024

På lager

Forlænget returret til d. 31. januar 2025

Normalpris

BLACK FRIDAY
: :

583,95 kr. + Fragt
~~583,95 kr.~~

Medlemspris

533,95 kr.

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

Bag om Alexander Leitsch

Vis alle bøger af Alexander Leitsch

Beskrivelse af Computational Logic and Proof Theory

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.

Brugerbedømmelser af Computational Logic and Proof Theory

Andre købte også..

Find lignende bøger

Bogen Computational Logic and Proof Theory findes i følgende kategorier:

Computational Logic and Proof Theory - Alexander Leitsch - Bog

Bag om Alexander Leitsch

Beskrivelse af Computational Logic and Proof Theory

Brugerbedømmelser af Computational Logic and Proof Theory

Gør som tusindvis af andre bogelskere