Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings - Lecture Notes in Computer Science - David Basin - Bøger - Springer-Verlag Berlin and Heidelberg Gm - 9783540406648 - 21. august 2003
Ved uoverensstemmelse mellem cover og titel gælder titel

Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings - Lecture Notes in Computer Science 2003 edition

David Basin

Pris
€ 59,99

Bestilles fra fjernlager

Forventes klar til forsendelse 9. - 15. okt.

Vores kunder siger:

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

Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings - Lecture Notes in Computer Science 2003 edition

This volume constitutes the proceedings of the16th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2003) held September 8-12, 2003 in Rome, Italy.

366 pages, biography

Medie Bøger     Paperback Bog   (Bog med blødt omslag og limet ryg)
Udgivet 21. august 2003
ISBN13 9783540406648
Forlag Springer-Verlag Berlin and Heidelberg Gm
Antal sider 366
Mål 155 × 233 × 20 mm   ·   535 g
Sprog Tysk  
Klipper/redaktør Basin, David
Klipper/redaktør Wolff, Burkhart
Vis alle

Mere med David Basin

Se alt med David Basin ( f.eks. Paperback Bog og Hardcover bog )