Automated Deduction - CADE-16: 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings - Lecture Notes in Computer Science - H Ganzinger - Grāmatas - Springer-Verlag Berlin and Heidelberg Gm - 9783540662228 - 1999. gada 23. jūnijs
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

H Ganzinger
Automated Deduction - CADE-16: 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings - Lecture Notes in Computer Science 1999 edition

Cena
€ 65,99

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

Paredzamā piegāde . gada 23. nov. - . gada 7. dec.
Ziemassvētku dāvanas var atgriezt līdz 31. janvārim
Saņemiet paziņojumus par jauniem H Ganzinger izdevumiem

Mūsu klienti saka:

14 dienu atgriešanas politika saskaņā ar Eiropas patērētāju tiesību aizsardzības likumu
Top vieta Trustpilot
Pievienot savam iMusic vēlmju sarakstam

Not rated yet

This volume constitutes the refereed proceedings of the 16th International Conference on Automated Deduction held in Italy in July 1999. It addresses recent issues in automated deduction and theorem proving, ranging from logical foundations to deduction systems design and evaluation.

438 pages, biography

Mediji Grāmatas     Paperback Book   (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists 1999. gada 23. jūnijs
ISBN13 9783540662228
Izdevēji Springer-Verlag Berlin and Heidelberg Gm
Lapas 438
Izmēri 155 × 235 × 23 mm   ·   625 g
Valoda Vācu  
Redaktors Ganzinger, Harald

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

Skatīt visus H Ganzinger