Scheda: 1/1 |
|
Livello bibliografico |
Monografia
|
Tipo di materiale |
Testo a stampa
|
Autore principale
| Gallo, Giorgio <1942- > [
scheda di autorità
] |
Titolo
| A new algorithm for the propositional satisfiability problem / Giorgio Gallo, Daniele Pretolani |
Pubblicazione
| Pisa : Universita degli Studi, Dipartimento di Informatica, 1992
|
Descrizione fisica
| 19 p. ; 21 cm. |
Collezione
| TR / Università degli studi di Pisa, Dipartimento di informatica
(ID Collana : CFI0390631)
|
Lingua di pubblicazione
| eng |
Paese di pubblicazione
| it |
Nomi
| [Autore] Gallo, Giorgio <1942- > [
scheda di autorità
]
[Autore] Pretolani, Daniele [
scheda di autorità
]
|
Identificativo record
| PIS0008417 |