KIRJAUDU
Theorem Proving in Higher Order Logics : 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005,
51,10 €
Springer
Sivumäärä: 414 sivua
Asu: Pehmeäkantinen kirja
Painos: 2005 ed.
Julkaisuvuosi: 2005, 08.08.2005 (lisätietoa)
Kieli: Englanti
Tuotesarja: Lecture Notes in Computer Science 3603
Sivumäärä: 414 sivua
Asu: Pehmeäkantinen kirja
Painos: 2005 ed.
Julkaisuvuosi: 2005, 08.08.2005 (lisätietoa)
Kieli: Englanti
Tuotesarja: Lecture Notes in Computer Science 3603
This volume constitutes the proceedings of the 18th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2005), which was held during22–25August2005inOxford,UK.TPHOLscoversallaspectsoftheorem proving in higher order logics as well as related topics in theorem proving and veri?cation.
Tilaustuote
Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa
Tilaustuote
Tämän tuotteen tilaamme kustantajalta tai tukkurilta varastoomme. Saatavuusarvio on tuotekohtainen. Lähetämme toimitusvahvistuksen heti, kun tuote on toimitettu varastoltamme rahdinkuljettajalle.Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa
Myymäläsaatavuus
Näytä kaikki tuotetiedot
ISBN:
9783540283720
Aihealue: