Capítulo de livro
Revisado por pares
Reasoning with type definitions
1997; Springer Science+Business Media; Linguagem: Inglês
10.1007/bfb0027886
ISSN1611-3349
Autores Tópico(s)Constraint Satisfaction and Optimization
Referência(s)