Theorem proving in higher order logics. - 16th international conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003 : proceedings
- Författare
- Italy) TPHOLs 2003 (2003 : Rome
- (David Basin, Burkhart Wolff (eds.).)
- Genre
- Konferenspublikation
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer | 2003 | New York, New York | p. cm. |