Brun Normal Forms for Co-atomic Lukasiewicz Logics - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Stefano Aguzzoli, Ottavio M. D Antona, Vincenzo Marra. Brun Normal Forms for Co-atomic Lukasiewicz Logics. In Lluis Godo, editor, Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 8th European Conference, ECSQARU 2005, Barcelona, Spain, July 6-8, 2005, Proceedings. Volume 3571 of Lecture Notes in Computer Science, pages 650-661, Springer, 2005. [doi]

This author has not been identified. Look up 'Stefano Aguzzoli' in GoogleThis author has not been identified. Look up 'Ottavio M. D Antona' in GoogleThis author has not been identified. Look up 'Vincenzo Marra' in Google

runs on WebDSL