| Scheda: 2/12 |
|
| Livello bibliografico |
Monografia
|
| Tipo di materiale |
Testo a stampa
|
|
Autore principale
| Gallo, Giorgio <1942- > [
scheda di autorità
] |
|
Titolo
| The satisfiability problem for the Schoenfinkel-Bernays fragment : partial instantiation and hipergraph algorithms / G. Gallo, G. Rago |
|
Pubblicazione
| Pisa : Universita degli studi, Dipartimento di informatica, 1994
|
|
Descrizione fisica
| 32 p. ; 21 cm. |
|
Collezione
| TR / Università degli studi di Pisa, Dipartimento di informatica ; 4/94
(ID Collana : CFI0390631)
|
|
Lingua di pubblicazione
| eng |
|
Paese di pubblicazione
| it |
|
Nomi
| [Autore] Gallo, Giorgio <1942- > [
scheda di autorità
]
[Autore] Rago, Gabriella [
scheda di autorità
]
|
|
Identificativo record
| PIS0009188 |
Rimuovi da preferiti
Aggiungi a preferiti