10th International Conference on Automated Deduction: Kaiserslautern, Frg, July 24-27, 1990, Proceedings (International Conference Proceedings) - Lecture Notes in Computer Science - Mark E Stickel - Grāmatas - Springer-Verlag Berlin and Heidelberg Gm - 9783540528852 - 1990. gada 17. jūlijs
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

10th International Conference on Automated Deduction: Kaiserslautern, Frg, July 24-27, 1990, Proceedings (International Conference Proceedings) - Lecture Notes in Computer Science

Cena
€ 142,99

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

Paredzamā piegāde . gada 12. - 20. nov.
Ziemassvētku dāvanas var atgriezt līdz 31. janvārim
Saņemiet paziņojumus par jauniem Mark E Stickel izdevumiem
Pievienot savam iMusic vēlmju sarakstam

Not rated yet

CADE is the major forum for research on all aspects of automated deduction. This title constitutes the proceedings of CADE-10.


708 pages, biography

Mediji Grāmatas     Paperback Book   (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists 1990. gada 17. jūlijs
ISBN13 9783540528852
Izdevēji Springer-Verlag Berlin and Heidelberg Gm
Lapas 708
Izmēri 155 × 235 × 35 mm   ·   975 g
Valoda Vācu  

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