%0 Conference Paper %1 conf/tfm/AlmeidaORMA99 %A Almeida, Ariane Alves %A Oliveira, Ana Cristina Rocha %A Ramos, Thiago Mendonça Ferreira %A de Moura, Flávio L. C. %A Ayala-Rincón, Mauricio %B FMTea %D 2019 %E Dongol, Brijesh %E Petre, Luigia %E Smith, Graeme %I Springer %K dblp %P 81-96 %T The Computational Relevance of Formal Logic Through Formal Proofs. %U http://dblp.uni-trier.de/db/conf/tfm/fmtea2019.html#AlmeidaORMA99 %V 11758 %@ 978-3-030-32441-4

@inproceedings{conf/tfm/AlmeidaORMA99, added-at = {2020-10-25T00:00:00.000+0200}, author = {Almeida, Ariane Alves and Oliveira, Ana Cristina Rocha and Ramos, Thiago Mendonça Ferreira and de Moura, Flávio L. C. and Ayala-Rincón, Mauricio}, biburl = {https://www.bibsonomy.org/bibtex/2e2134d11861e911f59f7c86031c33830/dblp}, booktitle = {FMTea}, crossref = {conf/tfm/2019}, editor = {Dongol, Brijesh and Petre, Luigia and Smith, Graeme}, ee = {https://doi.org/10.1007/978-3-030-32441-4_6}, interhash = {5d446aab41d6777ed44e94ce6fc27324}, intrahash = {e2134d11861e911f59f7c86031c33830}, isbn = {978-3-030-32441-4}, keywords = {dblp}, pages = {81-96}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T17:59:51.000+0200}, title = {The Computational Relevance of Formal Logic Through Formal Proofs.}, url = {http://dblp.uni-trier.de/db/conf/tfm/fmtea2019.html#AlmeidaORMA99}, volume = 11758, year = 2019 }