Computational Logic and Proof Theory: Third Kurt Goedel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings - Lecture Notes in Computer Science - Georg Gottlob - Bøger - Springer-Verlag Berlin and Heidelberg Gm - 9783540571841 - 13. august 1993
Ved uoverensstemmelse mellem cover og titel gælder titel

Computational Logic and Proof Theory: Third Kurt Goedel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings - Lecture Notes in Computer Science 1993 edition

Georg Gottlob

Pris
元 501,25

Bestilles fra fjernlager

Forventes klar til forsendelse 5. - 11. aug.

Vores kunder siger:

14 dages fuld returret
Topvurdering på Trustpilot
Tilføj til din iMusic ønskeseddel
Eller

Computational Logic and Proof Theory: Third Kurt Goedel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings - Lecture Notes in Computer Science 1993 edition

The Third Kurt G|del Symposium, KGC'93, held in Brno, CzechRepublic, August1993, is the third in a series of biennialsymposia on logic, theoretical computer science, andphilosophy of mathematics. While proof theorytraditionally is a discipline of mathematical logic, thecentral activity in computational logic can be foundincomputer science.

365 pages, biography

Medie Bøger     Paperback Bog   (Bog med blødt omslag og limet ryg)
Udgivet 13. august 1993
ISBN13 9783540571841
Forlag Springer-Verlag Berlin and Heidelberg Gm
Antal sider 354
Mål 216 × 279 × 19 mm   ·   526 g
Sprog Tysk  
Klipper/redaktør Gottlob, Georg
Klipper/redaktør Leitsch, Alexander
Klipper/redaktør Mundici, Daniele
Vis alle

Mere med Georg Gottlob

Se alt med Georg Gottlob ( f.eks. Paperback Bog )