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]

@inproceedings{TakemuraSK14,
  title = {Logical Investigation of Reasoning with Tables},
  author = {Ryo Takemura and Atsushi Shimojima and Yasuhiro Katagiri},
  year = {2014},
  doi = {10.1007/978-3-662-44043-8_27},
  url = {http://dx.doi.org/10.1007/978-3-662-44043-8_27},
  researchr = {https://researchr.org/publication/TakemuraSK14},
  cites = {0},
  citedby = {0},
  pages = {261-276},
  booktitle = {Diagrammatic Representation and Inference - 8th International Conference, Diagrams 2014, Melbourne, VIC, Australia, July 28 - August 1, 2014. Proceedings},
  editor = {Tim Dwyer and Helen C. Purchase and Aidan Delaney},
  volume = {8578},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-662-44042-1},
}