BibTeX record conf/disco/BajBZ90

• > Home > conf/disco/BajBZ90

@inproceedings{DBLP:conf/disco/BajBZ90,
  author       = {Fabio Baj and
                  Massimo Bruschi and
                  Antonella Zanzi},
  editor       = {Alfonso Miola},
  title        = {Design and development of ENprover, an automated theorem proving system
                  based on EN-strategy},
  booktitle    = {Design and Implementation of Symbolic Computation Systems, International
                  Symposium, {DISCO} '90, Capri, Italy, April 10-12, 1990, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {429},
  pages        = {278--279},
  publisher    = {Springer},
  year         = {1990},
  url          = {https://doi.org/10.1007/3-540-52531-9\_154},
  doi          = {10.1007/3-540-52531-9\_154},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/disco/BajBZ90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}