Paulo Pinheiro da Silva - University of Texas at Austin

homepage:	http://www.cs.utep.edu/paulo/
search externally:	Google Scholar, Springer, CiteSeer, Microsoft Academic Search, Scirus , DBlife

lecture

Inference Web in Action: Lightweight Use of the Proof Markup Language
as author at In Use,
2742 views