About views for modeling software processes in a role-specific manner
ISAW '96 Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops
The Heine–Borel Challenge Problem. In Honor of Woody Bledsoe
Journal of Automated Reasoning
Analogy in Inductive Theorem Proving
Journal of Automated Reasoning
A model of analogy-driven proof-plan construction
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
A survey of automated deduction
Artificial intelligence today
Matching requests for agent services with differentiated vocabulary
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
| Hi-index | 0.00 |