%0 Conference Paper %1 conf/diagrams/MineshimaOT10 %A Mineshima, Koji %A Okada, Mitsuhiro %A Takemura, Ryo %B Diagrams %D 2010 %E Goel, Ashok K. %E Jamnik, Mateja %E Narayanan, N. Hari %I Springer %K dblp %P 99-114 %T Two Types of Diagrammatic Inference Systems: Natural Deduction Style and Resolution Style. %U http://dblp.uni-trier.de/db/conf/diagrams/diagrams2010.html#MineshimaOT10 %V 6170 %@ 978-3-642-14599-5

@inproceedings{conf/diagrams/MineshimaOT10, added-at = {2017-05-26T00:00:00.000+0200}, author = {Mineshima, Koji and Okada, Mitsuhiro and Takemura, Ryo}, biburl = {https://www.bibsonomy.org/bibtex/2828b85bf7f15cb65b055d09fda6ff00c/dblp}, booktitle = {Diagrams}, crossref = {conf/diagrams/2010}, editor = {Goel, Ashok K. and Jamnik, Mateja and Narayanan, N. Hari}, ee = {https://doi.org/10.1007/978-3-642-14600-8_12}, interhash = {b1b12650cd2f54b5913524a52c0f16ec}, intrahash = {828b85bf7f15cb65b055d09fda6ff00c}, isbn = {978-3-642-14599-5}, keywords = {dblp}, pages = {99-114}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-06-04T12:47:40.000+0200}, title = {Two Types of Diagrammatic Inference Systems: Natural Deduction Style and Resolution Style.}, url = {http://dblp.uni-trier.de/db/conf/diagrams/diagrams2010.html#MineshimaOT10}, volume = 6170, year = 2010 }