Otmane Ait Mohamed
Theorem Proving in Higher Order Logics: 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings - Lecture Notes in Computer Science Otmane Ait Mohamed 2008 edition

Name: Theorem Proving in Higher Order Logics: 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings - Lecture Notes in Computer Science
Price: 53.99 EUR
Availability: OutOfStock
Author: Otmane Ait Mohamed

Cena

€ 53,99

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

Paredzamā piegāde . gada 20. - 28. okt.

Saņemiet paziņojumus par jauniem Otmane Ait Mohamed izdevumiem

Mūsu klienti saka:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

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

Theorem Proving in Higher Order Logics: 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings - Lecture Notes in Computer Science

Otmane Ait Mohamed

2008 edition

Presents the refereed proceedings of the 21st International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2008, held in Montreal, Canada, in August 2008. This book includes papers that cover various aspects of theorem proving in higher order logics as well as related topics in theorem proving and verification.

321 pages, black & white illustrations

Mediji	Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists	2008. gada 30. jūlijs
ISBN13	9783540710653
Izdevēji	Springer-Verlag Berlin and Heidelberg Gm
Lapas	321
Izmēri	155 × 235 × 17 mm · 498 g
Valoda	Franču
Redaktors	Ait Mohamed, Otmane
Redaktors	Munoz, Cesar
Redaktors	Tahar, Sofiene