Fiora Pirri
2 published titles
Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003 : proceedings
(Contributor)
1 edition
- ISBN: 3540407871
- Springer
- 2003
- Details
Strutture, logica, linguaggi
(Contributor)
1 edition
- ISBN: 9788871922690
- Pearson Addison Wesley
- 2005
- Details
