Automated Reasoning: 4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings - Lecture Notes in Computer Science - Alessandro Armando - Grāmatas - Springer-Verlag Berlin and Heidelberg Gm - 9783540710691 - 2008. gada 25. jūlijs
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

Automated Reasoning: 4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings - Lecture Notes in Computer Science 2008 edition

Cena
€ 53,99

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 27. okt. - . gada 4. nov.
Saņemiet paziņojumus par jauniem Alessandro Armando izdevumiem
Pievienot savam iMusic vēlmju sarakstam

Not rated yet

Presents the refereed proceedings of the 4th International Joint Conference on Automated Reasoning, IJCAR 2008, held in Sydney, Australia, in August 2008. This title includes papers that address the spectrum of research in automated reasoning and are organized in topical sections on specific theories.


556 pages, black & white illustrations

Mediji Grāmatas     Paperback Book   (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists 2008. gada 25. jūlijs
ISBN13 9783540710691
Izdevēji Springer-Verlag Berlin and Heidelberg Gm
Lapas 556
Izmēri 155 × 235 × 29 mm   ·   861 g
Valoda Franču  
Redaktors Armando, Alessandro
Redaktors Baumgartner, Peter
Redaktors Dowek, Gilles

Vairāk no tā paša izdevēja