Sciweavers

7075 search results - page 91 / 1415
» Models and heterogeneous reasoning
Sort
View
AIIA
2007
Springer
16 years 11 days ago
Finite Model Reasoning on UML Class Diagrams Via Constraint Programming
Marco Cadoli, Diego Calvanese, Giuseppe De Giacomo...