Theorem Proving in Higher Order Logics

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

Paperback

€ 75,95

Afwijkende levertijd: 10-12 werkdagen
Theorem Proving in Higher Order Logics

Paperback

€ 75,95

Nieuwe boeken gratis bezorgd vanaf € 17,50 binnen NL*
Altijd de laagste prijs voor nieuwe Nederlandstalige boeken
Ruilen of retourneren binnen 14 dagen
Koop lokaal, ook online!
Bekijk winkelvoorraad

Presents the refereed proceedings of the 21st International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2008, held in Montreal, Canada, in August 2008. This book includes papers that cover various aspects of theorem proving in higher order logics as well as related topics in theorem proving and verification.
ISBN
9783540710653
Vorm
Paperback
Uitgever
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Druk
1e
Verschenen
01-01-2008
Taal
Engels
Pagina's
321 pp.
Genre
Informatica & Exacte vakken
Geen recensies beschikbaar.
pro-mbooks2 : libris