Paulo Pinheiro da Silva
homepage: | http://www.cs.utep.edu/paulo/ |
search externally: | Google Scholar, Springer, CiteSeer, Microsoft Academic Search, Scirus , DBlife |
Lecture:
lecture Inference Web in Action: Lightweight Use of the Proof Markup Language as author at In Use, 2742 views |