Menu
Rendelés állapotának ellenőrzése
Kapcsolat
Könyv 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

Szerző: Konrad Slind, Annette Bunker, Ganesh C. Gopalakrishnan
Nyelv: Angol
Kötés: Puha kötésű
Kiadó: Springer, Berlin
Elérhetőség: Beszállítói készleten
Küldés 5-8 napon belül
19 356 Ft
This book constitutes the refereed proceedings of the 17th International Conference on Theorem Provi...

Információk a könyvről

Szerző
Konrad Slind, Annette Bunker, Ganesh C. Gopalakrishnan
Nyelv
Angol
Kötés
Könyv - Puha kötésű
Kiadva
2004
oldal
340
EAN
9783540230175
ISBN
3540230173
Enbook ID
01559777
Kiadó
Springer, Berlin
Súly
540
Méretek
156 x 234 x 18

Teljes leírás

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.

Érdekelheti

Scots Nightingale

Multiple Contributors
9 552 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

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

Bill Williams
7 543 Ft