Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/els/RaskinW19
%A Raskin, Michael A.
%A Welzel, Christoph
%B ELS
%D 2019
%E Neuss, Nicolas
%I ELSAA
%K dblp
%P 42-45
%T Working with First Order Proofs and Provers.
%U http://dblp.uni-trier.de/db/conf/els/els2019.html#RaskinW19
%@ 978-2-9557474-3-8
@inproceedings{conf/els/RaskinW19,
added-at = {2019-11-13T00:00:00.000+0100},
author = {Raskin, Michael A. and Welzel, Christoph},
biburl = {https://www.bibsonomy.org/bibtex/2edcc3ff175904c7d8997c8cd00657230/dblp},
booktitle = {ELS},
crossref = {conf/els/2019},
editor = {Neuss, Nicolas},
ee = {https://doi.org/10.5281/zenodo.2633990},
interhash = {d85fbd980f4819e6aec9b7d51fefec0b},
intrahash = {edcc3ff175904c7d8997c8cd00657230},
isbn = {978-2-9557474-3-8},
keywords = {dblp},
pages = {42-45},
publisher = {ELSAA},
timestamp = {2019-11-14T11:42:00.000+0100},
title = {Working with First Order Proofs and Provers.},
url = {http://dblp.uni-trier.de/db/conf/els/els2019.html#RaskinW19},
year = 2019
}