Constraint solving over multi-valued logics [[electronic resource] ] : application to digital circuits / / Francisco Azevedo
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Autore: |
Azevedo Francisco
|
| Titolo: |
Constraint solving over multi-valued logics [[electronic resource] ] : application to digital circuits / / Francisco Azevedo
|
| Pubblicazione: | Amsterdam ; ; Oxford, : IOS Press, c2003 |
| Descrizione fisica: | 1 online resource (223 p.) |
| Disciplina: | 621.395 |
| Soggetto topico: | Integrated circuits - Mathematical models |
| Digital electronics | |
| Soggetto genere / forma: | Electronic books. |
| Note generali: | Bibliographic Level Mode of Issuance: Monograph |
| Nota di bibliografia: | Includes bibliographical references and index. |
| Titolo autorizzato: | Constraint solving over multi-valued logics |
| ISBN: | 1-280-50577-X |
| 1-60129-412-3 | |
| 600-00-0377-3 | |
| 9786610505777 | |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 9910455984003321 |
| Lo trovi qui: | Univ. Federico II |
| Opac: | Controlla la disponibilità qui |
Serie:
Frontiers in artificial intelligence and applications ; ; v. 91.
Frontiers in artificial intelligence and applications. . -Dissertations in artificial intelligence.