[(Theorem Proving in Higher Order Logics: 12th International Conference, Tphols'99, Nice, France, September 14-17, 1999, Proceedings )] [Author: Yves Bertot] [Nov-1999]
3.53 MiB
Download ready in 3s
![[(Theorem Proving in Higher Order Logics: 12th International Conference, Tphols'99, Nice, France, September 14-17, 1999, Proceedings )] [Author: Yves Bertot] [Nov-1999]](https://images-na.ssl-images-amazon.com/images/I/31H0itFCmtL.jpg)