Integration of automated reasoners (poster session): a progress report. Armando, A., Ranise, S., & Zini, D. In Kerber, M. & Kohlhase, M., editors, Symbolic Computation and Automated Reasoning, pages 237--238. A. K. Peters, Ltd., Natick, MA, USA, 2001.
bibtex   
@incollection{375145,
  author = {Armando, Alessandro and Ranise, Silvio and Zini, Daniele},
  title = {Integration of automated reasoners (poster session): a progress report},
  booktitle = {Symbolic Computation and Automated Reasoning},
  editor = {Manfred Kerber and Michael Kohlhase},
  year = {2001},
  isbn = {1-56881-145-4},
  pages = {237--238},
  publisher = {A. K. Peters, Ltd.},
  address = {Natick, MA, USA}
}

Downloads: 0