Interactive Theorem ProvingThird International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings
| Main Authors: | SpringerLink (Online service), Felty, Amy. |
|---|---|
| Format: | EBK |
| Bahasa: | eng |
| Subjects: | |
| Online Access: |
http://uilis.unsyiah.ac.id/uilis/index.php?p=show_detail&id=115963 http://uilis.unsyiah.ac.id/uilis/lib/phpthumb/phpThumb.php?src=../../images/docs/9783642323478.jpg |
Daftar Isi:
- XI, 419 p. 37 illus.online resource.