Theorem Proving in Higher Order Logics - 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002. Proceedings
- Författare
- Va.), TPHOLs 2002 (2002 : Hampton
- (Edited by Victor A. Carreno, Cesar A. Munoz, Sofiene Tahar.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer Berlin Heidelberg, Imprint: Springer | 2002 | Tyskland, Berlin, Heidelberg | 1 online resource (X, 347 sidor.) |