Tipsa dina vänner om produkten:
Automated Reasoning with Analytic Tableaux and Related Methods - Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence Martin Giese
Pris
SEK 569
Beställningsvara
Förväntad leverans 5 - 13 nov
Julklappar kan bytas fram till 31:e januari
Få avisering om nya utgåvor med Martin Giese
Lägg till din iMusic-önskelista
eller
Automated Reasoning with Analytic Tableaux and Related Methods - Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence
Martin Giese
353 pages, biography
| Media | Böcker Pocketbok (Bok med mjukt omslag och limmad rygg) |
| Releasedatum | 24 juni 2009 |
| ISBN13 | 9783642027154 |
| Utgivare | Springer-Verlag Berlin and Heidelberg Gm |
| Antal sidor | 353 |
| Mått | 155 × 235 × 20 mm · 544 g |
| Språk | Franska |