%0 Book %1 reason:ChaLee73a %A Chang, C. L. %A Lee, R. C. T. %C New York %D 1973 %I Academic Press %K imported ml %T Symbolic Logical and Mechanical Theorem Proving

@book{reason:ChaLee73a, added-at = {2016-11-26T13:19:29.000+0100}, address = {New York}, author = {Chang, C. L. and Lee, R. C. T.}, biburl = {https://www.bibsonomy.org/bibtex/24348e4f6641d3a965d7f7fc7317593dc/machinelearning}, interhash = {8936428efe5f287d8a27234551b39914}, intrahash = {4348e4f6641d3a965d7f7fc7317593dc}, keywords = {imported ml}, publisher = {Academic Press}, serial = {cha73a}, timestamp = {2016-11-26T13:20:49.000+0100}, title = {Symbolic Logical and Mechanical Theorem Proving}, year = 1973 }