%0 Conference Paper %1 conf/cade/Libal18 %A Libal, Tomer %B ARQNL@IJCAR %D 2018 %E Benzmüller, Christoph %E Otten, Jens %I CEUR-WS.org %K dblp %P 34-48 %T A Simple Semi-automated Proof Assistant for First-order Modal Logics. %U http://dblp.uni-trier.de/db/conf/cade/arqnl2018.html#Libal18 %V 2095

@inproceedings{conf/cade/Libal18, added-at = {2023-03-10T00:00:00.000+0100}, author = {Libal, Tomer}, biburl = {https://www.bibsonomy.org/bibtex/2266e8adaa067443f6d042a22c06006b2/dblp}, booktitle = {ARQNL@IJCAR}, crossref = {conf/cade/2018arqnl}, editor = {Benzmüller, Christoph and Otten, Jens}, ee = {https://ceur-ws.org/Vol-2095/paper2.pdf}, interhash = {448a8a4c851a0bb216fc804e78d6b5c9}, intrahash = {266e8adaa067443f6d042a22c06006b2}, keywords = {dblp}, pages = {34-48}, publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings}, timestamp = {2024-04-09T18:54:57.000+0200}, title = {A Simple Semi-automated Proof Assistant for First-order Modal Logics.}, url = {http://dblp.uni-trier.de/db/conf/cade/arqnl2018.html#Libal18}, volume = 2095, year = 2018 }