DIPARTIMENTO   DI   INFORMATICA
Università di Torino
THE GROUP'S LOGO

Publications

  • M. Baldoni. Normal Multimodal Logics: Automatic Deduction and Logic Programming Extension. PhD thesis, Dipartimento di Informatica, Università degli Studi di Torino, Italy, 1998. (PostScript)



    [Group's HOME] [Department's HOME]
    If you are interested in papers which are not available, please, contact directly the author(s).