Kniha Interactive Theorem Proving Christian Urban

Interactive Theorem Proving

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

Jazyk: Angličtina
Vazba: Brožovaná
Dostupnost: Skladem u dodavatele
Odesíláme za 5-8 dnů
1 147
This book constitutes the proceedings of the 6th International Conference on Interactive Theorem Pro...

Informace o knize

Jazyk
Angličtina
Vazba
Kniha - Brožovaná
Vydáno
2015
Stránek
469
EAN
9783319221014
ISBN
3319221019
Enbook ID
09378411
Hmotnost
7256
Rozměry
155 x 235 x 28

Kompletní popis

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.

Mohlo by vás zajímat

Machine

James Smythe
292

The Smile of the Sphinx

Marguerite Bouvet
602

Bedouins into Bourgeois

Calvert W. Jones
2 986

Deus Comedieta

Tade Bolade
276

Biocalorimetry

Margarida Bastos
6 214

Harmony in Chopin

David Damschroder
1 077

Childbirth Trauma

Stergios K Doumouchtsis
3 347
2 073
623

Antiviral Agents

Ernst Jucker
1 147
203

Who is Jesus?

Thomas P. Rausch
468
589
565

Poetry of Being

Vaidehi Raipat
144

And All for What?

D.W.J. Cuddeford
1 046

Zákaznicí kteří koupili tuto knihu koupili také

Klementina von Porretta

Christoph Martin Wieland
200

Strandgut

Tanja Korf
202
484