Algebraic and Proof-theoretic Aspects of Non-classical Logics Papers in Honor of Daniele Mundici on the Occasion of His 60th birthday - Aguzzoli, Stefano; Ciabattoni, Agata; Gerla, Brunella; Manara, Corrado; Marra, Vincenzo; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2007)
Keywords: Computer science; Artificial intelligence; Translators (Computer programs).; Computer Science; Artificial Intelligence (incl. Robotics).; Mathematical Logic and Formal Languages; Language Translation and Linguistics