CATALOGO DEI PRODOTTI DELLA RICERCA
IRIS è la soluzione IT che facilita la raccolta e la gestione dei dati relativi alle attività e ai prodotti della ricerca. Fornisce a ricercatori, amministratori e valutatori gli strumenti per monitorare i risultati della ricerca, aumentarne la visibilità e allocare in modo efficace le risorse disponibili.
EnglishIn questo articolo si propone una classificazione delle formule spaziali basate su relazioni mereologiche. La classificazione si basa sul comportamento delle formule rispetto alla proprietà di ereditarietà della verità della formula da una regione verso le regioni che essa contiene e verso le regioni che la contengono.
| Titolo: | Mereological Inheritance |
| Autori: | |
| Data di pubblicazione: | 2000 |
| Rivista: | |
| Abstract: | In questo articolo si propone una classificazione delle formule spaziali basate su relazioni mereologiche. La classificazione si basa sul comportamento delle formule rispetto alla proprietà di ereditarietà della verità della formula da una regione verso le regioni che essa contiene e verso le regioni che la contengono. |
| Handle: | http://hdl.handle.net/11562/300765 |
| Appare nelle tipologie: | 01.01 Articolo in Rivista |
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
Copyright © 2021