Automated Reasoning with Analytic Tableaux and Related Methods - Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence - Martin Giese - Böcker - Springer-Verlag Berlin and Heidelberg Gm - 9783642027154 - 24 juni 2009
Om omslag och titel inte matchar är det titeln som gäller

Automated Reasoning with Analytic Tableaux and Related Methods - Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence

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

Inte betygsatt ännu

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  

Fler produkter med Martin Giese

Mer från samma **utgivare**