Vinkkaa tuotetta kavereillesi:
Automated Reasoning with Analytic Tableaux and Related Methods: 16th International Conference, Tableaux 2007, Aix en Provence, France, July 3-6, 2007, Proceedings - Lecture Notes in Computer Science
Nicola Olivetti
Hinta
DKK 395,12
Tilattu etävarastosta
Arvioitu toimitus ke - to 5. - 13. marras
Joululahjoja voi vaihtaa 31.1. asti
Lisää iMusic-toivelistallesi
tai
Automated Reasoning with Analytic Tableaux and Related Methods: 16th International Conference, Tableaux 2007, Aix en Provence, France, July 3-6, 2007, Proceedings - Lecture Notes in Computer Science
Nicola Olivetti
Constitutes the refereed proceedings of the 16th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2007, held in Aix en Provence, France in July 2007. This book includes papers that cover many topics in the wide range of logics, from intuitionistic and substructural logics to modal logics.
250 pages, biography
| Media | Kirjat Paperback Book (Kirja pehmeillä kansilla ja liimatulla selällä) |
| Julkaisupäivämäärä | torstai 21. kesäkuuta 2007 |
| ISBN13 | 9783540730989 |
| Tuottaja | Springer-Verlag Berlin and Heidelberg Gm |
| Sivujen määrä | 250 |
| Mitta | 156 × 234 × 13 mm · 412 g |
| Kieli | German |
Näytä kaikki
Lisää tuotteita Nicola Olivetti
Katso kaikki joka sisältää Nicola Olivetti ( Esim. Paperback Book )