%0 Book %1 books/daglib/0066886 %A Wallen, Lincoln A. %B MIT Press series in artificial intelligence %D 1990 %I MIT Press %K dblp %P 1-237 %T Automated proof search in non-classical logics - efficient matrix proof methods for modal and intuitionistic logics. %@ 978-0-262-23144-2

@book{books/daglib/0066886, added-at = {2011-05-05T00:00:00.000+0200}, author = {Wallen, Lincoln A.}, biburl = {https://www.bibsonomy.org/bibtex/2386711dba141d096e0c1d8abd86b6d12/dblp}, interhash = {4538c98ec9cb036dd5845b49595f07f1}, intrahash = {386711dba141d096e0c1d8abd86b6d12}, isbn = {978-0-262-23144-2}, keywords = {dblp}, pages = {1-237}, publisher = {MIT Press}, series = {MIT Press series in artificial intelligence}, timestamp = {2011-05-06T11:33:10.000+0200}, title = {Automated proof search in non-classical logics - efficient matrix proof methods for modal and intuitionistic logics.}, year = 1990 }