
Vinkkaa tuotetta kavereillesi:
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
Georg Gottlob
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
Katso kaikki joka sisältää Georg Gottlob ( Esim. Paperback Book )