Könyv Interactive Theorem Proving Christian Urban

Interactive Theorem Proving

6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings

Nyelv: Angol
Kötés: Puha kötésű
Elérhetőség: Beszállítói készleten
Küldés 5-8 napon belül
19 223 Ft
This book constitutes the proceedings of the 6th International Conference on Interactive Theorem Pro...

Információk a könyvről

Nyelv
Angol
Kötés
Könyv - Puha kötésű
Kiadva
2015
oldal
469
EAN
9783319221014
ISBN
3319221019
Enbook ID
09378411
Súly
7256
Méretek
155 x 235 x 28

Teljes leírás

This book constitutes the proceedings of the 6th International Conference on Interactive Theorem Proving, ITP 2015, held in Nanjing, China, in August 2015. The 27 papers presented in this volume were carefully reviewed and selected from 54 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematics.

Érdekelheti

Bedouins into Bourgeois

Calvert W. Jones
49 066 Ft

Deus Comedieta

Tade Bolade
4 545 Ft

Biocalorimetry

Margarida Bastos
100 227 Ft
5 237 Ft

The Smile of the Sphinx

Marguerite Bouvet
10 321 Ft

Harmony in Chopin

David Damschroder
17 696 Ft

Childbirth Trauma

Stergios K Doumouchtsis
56 298 Ft
33 580 Ft
10 290 Ft

Antiviral Agents

Ernst Jucker
19 223 Ft

Machine

James Smythe
4 826 Ft
3 424 Ft

Who is Jesus?

Thomas P. Rausch
7 915 Ft

And All for What?

D.W.J. Cuddeford
17 286 Ft

Jutland 1916

Charles London
7 446 Ft
9 670 Ft
9 272 Ft

Poetry of Being

Vaidehi Raipat
2 366 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