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
Íkr 7.489,90

Tilattu etävarastosta

Arvioitu toimitus pe - ma 17. - 27. loka

Asiakkaamme sanovat:

14 päivän palautusoikeus
Huippuarvosana Trustpilotissa
Lisää iMusic-toivelistallesi
tai

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

Katso kaikki joka sisältää Georg Gottlob ( Esim. Paperback Book )