| Scheda: 7/27 | |
|---|---|
| Livello bibliografico | Monografia |
| Tipo di materiale | Testo a stampa |
| Autore principale | Apt, Krzysztof R. <1949-> [ scheda di autorità ] |
| Titolo | Reasoning about termination of prolog programs / K. R. Apt, D. Pedreschi |
| Pubblicazione | Pisa : Universita degli Studi, Dipartimento di Informatica, 1991 |
| Descrizione fisica | 45 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] Apt, Krzysztof R. <1949-> [
scheda di autorità
]
[Autore] Pedreschi, Giancarlo [ scheda di autorità ] |
| Forme varianti dei nomi | Apt , K. <Krzysztof> -> Apt, Krzysztof R. <1949-> Apt , K. R. <Krzysztof R.> -> Apt, Krzysztof R. <1949-> |
| Identificativo record | PIS0008399 |
| Biblioteca | Collocazione | Inventario | Note di esemplare | Numero dei volumi o consistenze dei periodici | Fruizione |
|---|---|---|---|---|---|
| Biblioteca universitaria | COLL.UNIV.Pisa 11 14/91 | 000269991 | REASONINg | consultazione, prestito, fotoriproduzione Servizi |
Rimuovi da preferiti
Aggiungi a preferiti