BibTeX record conf/deductive/Arnon90

download as .bib file

@inproceedings{DBLP:conf/deductive/Arnon90,
  author    = {Dennis S. Arnon},
  title     = {Towards a Deductive Database for Elementary Algebra and Geometry},
  booktitle = {Workshop on Deductive Databases},
  series    = {Technical Report},
  volume    = {{TR-CS-90-14}},
  publisher = {Kansas State University},
  year      = {1990}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics