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 - Kirjat - Springer-Verlag Berlin and Heidelberg Gm - 9783540571841 - perjantai 13. elokuuta 1993
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

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

Hinta
€ 52,99

Tilattu etävarastosta

Arvioitu toimitus to - pe 18. - 26. syys
Lisää iMusic-toivelistallesi
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

Media Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä perjantai 13. elokuuta 1993
ISBN13 9783540571841
Tuottaja Springer-Verlag Berlin and Heidelberg Gm
Sivujen määrä 354
Mitta 216 × 279 × 19 mm   ·   526 g
Kieli German  
Toimittaja Gottlob, Georg
Toimittaja Leitsch, Alexander
Toimittaja Mundici, Daniele

Näytä kaikki

Lisää tuotteita Georg Gottlob