%0 Conference Paper %1 conf/aciids/LundV22 %A Lund, Simon Tobias %A Villadsen, Jørgen %B ACIIDS (1) %D 2022 %E Nguyen, Ngoc Thanh %E Tran, Tien Khoa %E Tukeyev, Ualsher %E Hong, Tzung-Pei %E Trawinski, Bogdan %E Szczerbicki, Edward %I Springer %K dblp %P 390-402 %T On Verified Automated Reasoning in Propositional Logic. %U http://dblp.uni-trier.de/db/conf/aciids/aciids2022-1.html#LundV22 %V 13757 %@ 978-3-031-21743-2

@inproceedings{conf/aciids/LundV22, added-at = {2023-09-30T00:00:00.000+0200}, author = {Lund, Simon Tobias and Villadsen, Jørgen}, biburl = {https://www.bibsonomy.org/bibtex/29e5999fbebac8947743ec6253996af3e/dblp}, booktitle = {ACIIDS (1)}, crossref = {conf/aciids/2022-1}, editor = {Nguyen, Ngoc Thanh and Tran, Tien Khoa and Tukeyev, Ualsher and Hong, Tzung-Pei and Trawinski, Bogdan and Szczerbicki, Edward}, ee = {https://doi.org/10.1007/978-3-031-21743-2_31}, interhash = {c065635b2b7e6e95c577092abc7a36b0}, intrahash = {9e5999fbebac8947743ec6253996af3e}, isbn = {978-3-031-21743-2}, keywords = {dblp}, pages = {390-402}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T20:00:30.000+0200}, title = {On Verified Automated Reasoning in Propositional Logic.}, url = {http://dblp.uni-trier.de/db/conf/aciids/aciids2022-1.html#LundV22}, volume = 13757, year = 2022 }