Menu
Zjistit stav objednávky
Kontaktujte nás
Kniha Theorem Proving in Higher Order Logics Konrad Slind

Theorem Proving in Higher Order Logics

17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings

Autor: Konrad Slind, Annette Bunker, Ganesh C. Gopalakrishnan
Jazyk: Angličtina
Vazba: Brožovaná
Vydavatel: Springer, Berlin
Dostupnost: Skladem u dodavatele
Odesíláme za 5-8 dnů
1 147 Kč
This book constitutes the refereed proceedings of the 17th International Conference on Theorem Provi...

Informace o knize

Autor
Konrad Slind, Annette Bunker, Ganesh C. Gopalakrishnan
Jazyk
Angličtina
Vazba
Kniha - Brožovaná
Vydáno
2004
Stránek
340
EAN
9783540230175
ISBN
3540230173
Enbook ID
01559777
Vydavatel
Springer, Berlin
Hmotnost
540
Rozměry
156 x 234 x 18

Kompletní popis

This book constitutes the refereed proceedings of the 17th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2004, held in Park City, Utah, USA, in September 2004.The 21 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 42 submissions. Among the topics addressed are theorem proving, verification, inductive types, automated deduction, mechanized proofs, mathematical logic, proof theory, type systems, computability, program verification, ACL, Cop, Isabelle/HOL, recursive functions, integration theory, machine code safety certification, and abstraction.

Mohlo by vás zajímat

Scots Nightingale

Multiple Contributors
554 Kč

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

Торговый хаос

Bill Williams
453 Kč