De Aller-Bedste Bøger - over 12 mio. danske og engelske bøger
Levering: 1 - 2 hverdage
Hjælp
Login
  1. Forside
  2. Bøger
  3. Business og læring
  4. Jura
  5. Computational Logic and Proof Theory

Computational Logic and Proof Theory

af Alexander Leitsch, Georg Gottlob, Daniele Mundici

indgår i Lecture Notes in Computer Science serien

Computational Logic and Proof Theory af Alexander Leitsch
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
  • Indbinding:
  • Paperback
  • Sideantal:
  • 364
  • Udgivet:
  • 13. august 1997
  • Størrelse:
  • 155x20x235 mm.
  • Vægt:
  • 552 g.
  • 8-11 hverdage.
  • 10. december 2024
På lager
Forlænget returret til d. 31. januar 2025

Normalpris

Abonnementspris

- Rabat på køb af fysiske bøger
- 1 valgfrit digitalt ugeblad
- 20 timers lytning og læsning
- Adgang til 70.000+ titler
- Ingen binding

Abonnementet koster 75 kr./md.
Ingen binding og kan opsiges når som helst.

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: