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øker - Springer-Verlag Berlin and Heidelberg Gm - 9783540406648 - 21. august 2003
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

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
Kč 1.165

Bestillingsvarer

Forventes levert 15. - 23. okt

Kundene våre sier:

14 dages returrett
Toppvurdering på Trustpilot
Legg til iMusic ønskeliste
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

Media Bøker     Pocketbok   (Bok med mykt omslag og limt rygg)
Utgitt 21. august 2003
ISBN13 9783540406648
Utgivere Springer-Verlag Berlin and Heidelberg Gm
Antall sider 366
Mål 155 × 233 × 20 mm   ·   535 g
Språk Tysk  
Redaktør Basin, David
Redaktør Wolff, Burkhart
Vis alle

Mer med David Basin

Se alt med David Basin ( f.eks. Pocketbok og Innbunden bok )