Journal on satisfiability, Boolean modeling and computation : JSAT
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Titolo: |
Journal on satisfiability, Boolean modeling and computation : JSAT
|
| Pubblicazione: | Delft, : Technische Universiteit Delft |
| Descrizione fisica: | 1 online resource |
| Soggetto topico: | Computer science |
| Algebra, Boolean | |
| Informatique | |
| Algèbre de Boole | |
| Soggetto genere / forma: | Periodicals. |
| Note generali: | Refereed/Peer-reviewed |
| Altri titoli varianti: | JSAT |
| Titolo autorizzato: | Journal on satisfiability, Boolean modeling and computation |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 9910890976503321 |
| Lo trovi qui: | Univ. Federico II |
| Opac: | Controlla la disponibilità qui |