Algebraic and Proof-theoretic Aspects of Non-classical Logics - Aguzzoli, Stefano; Ciabattoni, Agata; Gerla, Brunella; Manara, Corrado; Marra, Vincenzo; Mundici, Daniele; Ciabattoni, A.; Gerla, B.; Manara, C.; Marra, V. (Springer Berlin Heidelberg, 2007)
Keywords: Information Technology -- Artificial Intelligence