Theorem Proving in Higher Order Logics: 9th International Conference, TPHOLs’96, Turku, Finland, August 26 – 30, 1996, Proceedings (Lecture Notes in Computer Science)
$2,079.00
| Peso | 12.35 kg |
|---|---|
| ISBN | |
| ISBN13 | |
| Author | |
| Publisher | |
| Binding | |
| Lenguage | |
| Publish Year | |
| Edition | |
| Pages |
