User Interfaces for Theorem Provers: Necessary Nuisance or Unexplored Potential? - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Christoph Lüth. User Interfaces for Theorem Provers: Necessary Nuisance or Unexplored Potential?. ECEASST, 23, 2009. [doi]

@article{Luth09,
  title = {User Interfaces for Theorem Provers: Necessary Nuisance or Unexplored Potential?},
  author = {Christoph Lüth},
  year = {2009},
  url = {http://eceasst.cs.tu-berlin.de/index.php/eceasst/article/view/322},
  researchr = {https://researchr.org/publication/Luth09},
  cites = {0},
  citedby = {0},
  journal = {ECEASST},
  volume = {23},
}

runs on WebDSL