Theorem Proving in Higher Order Logics: 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings - Lecture Notes in Computer Science - Klaus Schneider - Bøger - Springer-Verlag Berlin and Heidelberg Gm - 9783540745907 - 28. august 2007
Ved uoverensstemmelse mellem cover og titel gælder titel

Theorem Proving in Higher Order Logics: 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings - Lecture Notes in Computer Science 2007 edition

Klaus Schneider

Pris
R 1.493,75

Bestilles fra fjernlager

Forventes klar til forsendelse 21. - 28. aug.

Vores kunder siger:

14 dages fuld returret
Topvurdering på Trustpilot
Tilføj til din iMusic ønskeseddel
Eller

Theorem Proving in Higher Order Logics: 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings - Lecture Notes in Computer Science 2007 edition

This book contains the refereed proceedings of the 20th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2007, held in Kaiserslautern, Germany, September 2007.

404 pages, biography

Medie Bøger     Paperback Bog   (Bog med blødt omslag og limet ryg)
Udgivet 28. august 2007
ISBN13 9783540745907
Forlag Springer-Verlag Berlin and Heidelberg Gm
Antal sider 404
Mål 155 × 235 × 21 mm   ·   625 g
Klipper/redaktør Brandt, Jens
Klipper/redaktør Schneider, Klaus
Vis alle

Mere med Klaus Schneider

Se alt med Klaus Schneider ( f.eks. Paperback Bog , Hardcover bog og 12" )