Título: | Constraint solving over multi-valued logics: appplication to digital circuits |
Data: | 2002 |
Descrição: | Tese dout. Informática, Univ. Nova de Lisboa, 2002 |
Bibliografia, p. 171-179 | |
Monografia | |
Tipo: | Texto policopiado] |
material textual, impresso | |
Idioma: | Inglês |