D
IPARTIMENTO DI
I
NFORMATICA
Università di Torino
Intelligenza Artificiale II
Corso di Laurea in Informatica
Università degli Studi di Genova
a.a. 1999/2000
Il titolare del corso e` il
Prof. Maurizio Martelli
, si veda la sua
pagina ufficiale
del corso.
Letture utili
Lucidi
ATTENZIONE:
i lucidi sono in formato PDF. Adobe Acrobat Reader 4.0 puo` essere liberamente scaricato al seguente indirizzo:
http://adobe.com/products/acrobat/readstep.html
.
Letture utili
Lucidi
An Introduction to Normal Multimodal Logics: Interaction Axioms, Prefixed Tableaux Calculus, some [un]Decidability Results, and Applications
[
Matteo Baldoni's HOME
] [
Corso di Laurea e Diploma in Informatica
] [
Department's HOME
]
Last update: Jul 02, 2002