Juan Heguiabehere
According to our database1,
Juan Heguiabehere
authored at least 6 papers
between 2000 and 2012.
Collaborative distances:
Collaborative distances:
Timeline
2000
2002
2004
2006
2008
2010
2012
0
1
2
3
1
1
1
1
2
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2012
Proceedings of the Ontology Engineering in a Networked World., 2012
2009
Proceedings of the Metadata and Semantic Research - Third International Conference, 2009
2002
Proceedings of the Automated Deduction, 2002
2001
2000
Theorem Proving and Programming with Dynamic First Order Logic.
Proceedings of the 9th International Workshop on Functional and Logic Programming, 2000
Tree-based Heuristics in Modal Theorem Proving.
Proceedings of the ECAI 2000, 2000