Rappresentazione della conoscenza basata su classi: ragionamento in modelli arbitrari e modelli finiti

1996.

@phdthesis{tesi-dott-ita-96,
   title = "Rappresentazione della conoscenza basata su classi:  ragionamento in
modelli arbitrari e modelli finiti",
   year = "1996",
   author = "Diego Calvanese",
   school = "Dipartimento di Informatica e Sistemistica, Università di
Roma "La Sapienza"",
}