Logical Investigation of Reasoning with Tables

Ryo Takemura, Atsushi Shimojima, Yasuhiro Katagiri. Logical Investigation of Reasoning with Tables. In Tim Dwyer, Helen C. Purchase, Aidan Delaney, editors, Diagrammatic Representation and Inference - 8th International Conference, Diagrams 2014, Melbourne, VIC, Australia, July 28 - August 1, 2014. Proceedings. Volume 8578 of Lecture Notes in Computer Science, pages 261-276, Springer, 2014. [doi]

Authors

Ryo Takemura

This author has not been identified. Look up 'Ryo Takemura' in Google

Atsushi Shimojima

This author has not been identified. Look up 'Atsushi Shimojima' in Google

Yasuhiro Katagiri

This author has not been identified. Look up 'Yasuhiro Katagiri' in Google