## Peter B. Andrews, Chad E. Brown

*Tutorial: Using TPS for Higher-Order Theorem Proving and ETPS for Teaching Logic*

CADE, 2000.

@inproceedings{CADE-2000-AndrewsB, author = "Peter B. Andrews and Chad E. Brown", booktitle = "{Proceedings of the 17th International Conference on Automated Deduction}", doi = "10.1007/10721959_44", isbn = "3-540-67664-3", pages = "511--512", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Tutorial: Using TPS for Higher-Order Theorem Proving and ETPS for Teaching Logic}", volume = 1831, year = 2000, }