Automated Deduction - Cade-11: 11th International Conference on Automated Deduction, Saratoga Springs, Ny, Usa, June 15-18, 1992 - Proceedings - Lecture Notes in Computer Science - Deepak Kapur - Grāmatas - Springer-Verlag Berlin and Heidelberg Gm - 9783540556022 - 1992. gada 27. maijs
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

Deepak Kapur
Automated Deduction - Cade-11: 11th International Conference on Automated Deduction, Saratoga Springs, Ny, Usa, June 15-18, 1992 - Proceedings - Lecture Notes in Computer Science

Cena
€ 103,49

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

Paredzamā piegāde . gada 24. nov. - . gada 2. dec.
Ziemassvētku dāvanas var atgriezt līdz 31. janvārim
Saņemiet paziņojumus par jauniem Deepak Kapur 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 contains the papers presented at the 11th International Conference on Automated Deduction (CADE-11) held in Saratoga Springs, New York, in June 1992. Topics covered include: resolution; term writing; natural deduction; parallel theorem provers; and unification theory.

800 pages, biography

Mediji Grāmatas     Paperback Book   (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists 1992. gada 27. maijs
ISBN13 9783540556022
Izdevēji Springer-Verlag Berlin and Heidelberg Gm
Lapas 800
Izmēri 156 × 234 × 41 mm   ·   1,12 kg
Valoda Vācu  
Redaktors Kapur, Deepak

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

Skatīt visus Deepak Kapur