Catalogo delle Biblioteca Universitaria di Pisa
                   
Ricerca:  Nomi =  Pisa  >> Paese = italia >> Anno di pubblicazione = 2000 >> Biblioteca = Biblioteca universitaria di Pisa >> Lingua = inglese



Scheda: 7/185		


Livello bibliografico: Monografia

Tipo di materiale: Testo a stampa

Autore principale:
	 Spoto, Nicola Fausto
Titolo:
	 *Analysis of logic programs through linear rifenement / Nicola Fausto Spoto
Editore,distributore, ecc.:
	 Pisa : Università, Dipartimento di Informatica, 2000
        
Descrizione fisica:
	 III, 148 p. ; 21 cm.
Lingua di pubblicazione:
	INGLESE
Paese di pubblicazione:
	ITALIA
Nomi:
	[Autore]  Spoto, Nicola Fausto
        [Autore]  Università degli Studi <Pisa> : Dipartimento di Informatica
Identificativo record:
	BP00017545
Localizzazioni/ collocazioni/ consistenza:
	Biblioteca universitaria:[collocazione:]Pubbl.    Univ. Pisa 19ter/82  [inventario:]    473948 [numero volumi/consistenza per.:]