Scheda: 6/85 |
|
Livello bibliografico |
Monografia
|
Tipo di materiale |
Testo a stampa
|
Autore principale
| Kakas, Antonis C. [
scheda di autorità
] |
Titolo
| Stable theories for logic programs / A. C. Kakas, P. Mancarella |
Pubblicazione
| Pisa : Universita degli studi, Dipartimento di Informatica, 1991
|
Descrizione fisica
| 22 p. ; 20 cm. |
Collezione
| TR / Università degli studi di Pisa, Dipartimento di informatica
(ID Collana : CFI0390631)
|
Lingua di pubblicazione
| eng |
Paese di pubblicazione
| it |
Nomi
| [Autore] Kakas, Antonis C. [
scheda di autorità
]
[Autore] Mancarella, Paolo [
scheda di autorità
]
|
Forme varianti dei nomi
| Mancarella , Paolo Maria -> Mancarella, Paolo |
Identificativo record
| PIS0008404 |