Theorem Proving in Higher Order Logics: 17th International Conference, Tphols 2004, Park City, Utah, Usa, September 14-17, 2004, Proceedings - Lecture Notes in Computer Science - Konrad Slind - Grāmatas - Springer-Verlag Berlin and Heidelberg Gm - 9783540230175 - 2004. gada 1. septembris
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

Konrad Slind
Theorem Proving in Higher Order Logics: 17th International Conference, Tphols 2004, Park City, Utah, Usa, September 14-17, 2004, Proceedings - Lecture Notes in Computer Science

Cena
€ 53,99

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

Paredzamā piegāde . gada 2. - 10. nov.
Saņemiet paziņojumus par jauniem Konrad Slind 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

Covers the proceedings of the 17th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2004, held in Park City, Utah, USA, in September 2004. It addresses theorem proving, verification, inductive types, automated deduction, mechanized proofs, mathematical logic, proof theory, type systems, and computability.

340 pages, biography

Mediji Grāmatas     Paperback Book   (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists 2004. gada 1. septembris
ISBN13 9783540230175
Izdevēji Springer-Verlag Berlin and Heidelberg Gm
Lapas 340
Izmēri 156 × 234 × 18 mm   ·   498 g
Valoda Vācu  

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

Skatīt visus Konrad Slind