

Theorem Proving in Higher Order Logics
- Undertittel
- 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings
- ISBN
- 9783540482567
- Språk
- Engelsk
- Utgivelsesdato
- 31.7.2003
- Tilgjengelige elektroniske format
- PDF - Adobe DRM
- Les e-boka her
- E-bokleser i mobil/nettbrett
- Lesebrett
- Datamaskin
