Computational Logic and Proof Theory: 5th Kurt Godel Colloquium, Kgc '97, Vienna, Austria, August 25-29, 1997: Proceedings - Lecture Notes in Computer Science - Georg Gottlob - Bøger - Springer-Verlag Berlin and Heidelberg Gm - 9783540633853 - 13. august 1997
Ved uoverensstemmelse mellem cover og titel gælder titel

Computational Logic and Proof Theory: 5th Kurt Godel Colloquium, Kgc '97, Vienna, Austria, August 25-29, 1997: Proceedings - Lecture Notes in Computer Science

Georg Gottlob

Pris
₺ 2.858,75

Bestilles fra fjernlager

Forventes klar til forsendelse 11. - 15. aug.
Tilføj til din iMusic ønskeseddel
Eller

Computational Logic and Proof Theory: 5th Kurt Godel Colloquium, Kgc '97, Vienna, Austria, August 25-29, 1997: Proceedings - Lecture Notes in Computer Science

The proceedings of the Fifth Kurt Godel Colloquium on Computational Logic and Proof Theory, KGC '97. This volume 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.


355 pages, biography

Medie Bøger     Paperback Bog   (Bog med blødt omslag og limet ryg)
Udgivet 13. august 1997
ISBN13 9783540633853
Forlag Springer-Verlag Berlin and Heidelberg Gm
Antal sider 355
Mål 156 × 234 × 19 mm   ·   508 g
Sprog Tysk  
Klipper/redaktør Gottlob, Georg
Klipper/redaktør Leitsch, Alexander
Klipper/redaktør Mundici, Daniele

Vis alle

Mere med Georg Gottlob