%0 Conference Paper %1 conf/tableaux/FerrariF15 %A Ferrari, Mauro %A Fiorentini, Camillo %B TABLEAUX %D 2015 %E de Nivelle, Hans %I Springer %K dblp %P 237-252 %T Proof-Search in Natural Deduction Calculus for Classical Propositional Logic. %U http://dblp.uni-trier.de/db/conf/tableaux/tableaux2015.html#FerrariF15 %V 9323 %@ 978-3-319-24311-5

@inproceedings{conf/tableaux/FerrariF15, added-at = {2019-10-30T00:00:00.000+0100}, author = {Ferrari, Mauro and Fiorentini, Camillo}, biburl = {https://www.bibsonomy.org/bibtex/2e3f79484d04c06761a097e0f1d2ccc81/dblp}, booktitle = {TABLEAUX}, crossref = {conf/tableaux/2015}, editor = {de Nivelle, Hans}, ee = {https://doi.org/10.1007/978-3-319-24312-2_17}, interhash = {ce9d8a75c9f68dc014a8755431776c00}, intrahash = {e3f79484d04c06761a097e0f1d2ccc81}, isbn = {978-3-319-24311-5}, keywords = {dblp}, pages = {237-252}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-10-31T11:42:27.000+0100}, title = {Proof-Search in Natural Deduction Calculus for Classical Propositional Logic.}, url = {http://dblp.uni-trier.de/db/conf/tableaux/tableaux2015.html#FerrariF15}, volume = 9323, year = 2015 }