Conference paper Open Access

Working with first-order proofs and provers

Raskin, Mikhail; Welzel, Christoph


BibTeX Export

@proceedings{raskin_mikhail_2019_2633990,
  title        = {Working with first-order proofs and provers},
  year         = 2019,
  publisher    = {Zenodo},
  month        = apr,
  doi          = {10.5281/zenodo.2633990},
  url          = {https://doi.org/10.5281/zenodo.2633990}
}
110
47
views
downloads
All versions This version
Views 110110
Downloads 4747
Data volume 16.4 MB16.4 MB
Unique views 103103
Unique downloads 4545

Share

Cite as