Menu
Rendelés állapotának ellenőrzése
Kapcsolat
Könyv Theorem Proving in Higher Order Logics Otmane Ait Mohamed

Theorem Proving in Higher Order Logics

21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings

Szerző: Otmane Ait Mohamed, César Munoz, Sofiene Tahar
Nyelv: Angol
Kötés: Puha kötésű
Kiadó: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Elérhetőség: Beszállítói készleten
Küldés 5-8 napon belül
18 082 Ft
This book constitutes the refereed proceedings of the 21st International Conference on Theorem Provi...

Információk a könyvről

Szerző
Otmane Ait Mohamed, César Munoz, Sofiene Tahar
Nyelv
Angol
Kötés
Könyv - Puha kötésű
Kiadva
2008
oldal
321
EAN
9783540710653
ISBN
3540710655
Enbook ID
01568223
Kiadó
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Súly
516
Méretek
155 x 235 x 20

Teljes leírás

This book constitutes the refereed proceedings of the 21st International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2008, held in Montreal, Canada, in August 2008. The 17 revised full papers presented together with 1 proof pearl (concise and elegant presentations of interesting examples), 5 tool presentations, and 2 invited papers were carefully reviewed and selected from 40 submissions. The papers cover all aspects of theorem proving in higher order logics as well as related topics in theorem proving and verification such as formal semantics of specification, modeling, and programming languages, specification and verification of hardware and software, formalisation of mathematical theories, advances in theorem prover technology, as well as industrial application of theorem provers.

Érdekelheti

Extreme Measures

Vince Flynn
4 023 Ft

Lost in Burma: "Queenie" and 50 other War Poems

R E Maloney
3 831 Ft

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Dict. General Et Grammatical Des Dict.S Francais. II. H-Z (Ed.1846)

Napoleon Landais
14 998 Ft

Konstruktion des Phantastischen

Barbara Neymeyr
14 565 Ft

L'epreuve 4/Avant le Labyrinthe/L'ordre de tuer

James Dashner
8 174 Ft

A Manual Of Gothic Architecture

Frederick Apthorp Paley
9 068 Ft