1. TECNICHE PER LA RIDUZIONE DELLA COMPLESSITA’ DEL RAGIONAMENTO IN LOGICHE DESCRITTIVE CON OPERATORI SPAZIALI

theses proposal

1. TECNICHE PER LA RIDUZIONE DELLA COMPLESSITA’ DEL RAGIONAMENTO IN LOGICHE DESCRITTIVE CON OPERATORI SPAZIALI

Guarantor
Matteo Cristani
Study courses
Masters in Computer Science, Masters in Intelligent and Multimedia Systems