Oscar Chávez-Bosquez, Pilar Pozos Parra, Kevin McAreavey. On the development of a logic calculator: a novel tool to perform logical operations. In Mauricio Javier Osorio Galindo, José Raymundo Marcial-Romero, Claudia Zepeda Cortés, Iván Olmos Pineda, editors, Proceedings of the Tenth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, LANMR 2016, Puebla, Mexico, August 15, 2016. Volume 1659 of CEUR Workshop Proceedings, pages 9-16, CEUR-WS.org, 2016. [doi]
Abstract is missing.