Theorem proving in higher order logics - 13th international conference, TPHOLs 2000, Portland, OR, USA, August 14-18, 2000 : proceedings
- Författare
- International Conference on Theorem Proving in Higher Order Logics 2000) Portland :
- Genre
- Konferenspublikation
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer | cop. 2000 | Tyskland, Berlin | ix, 533 sidor. ill. 24 cm | |
| Springer | 2000 | Tyskland, Berlin, Heidelberg, New York | 1 online resource (545 sidor.) | |
| Springer | uuuu-uuuu | Utgivningsland okänt / Ej specificerat |