Automated Deduction --- CADE-11, 11th International Conference on Automated Deduction. Kapur, D., editor Volume 607of Lecture Notes in Artificial IntelligenceSpringer-Verlag. Saratoga Springs, New York, June, 1992.
bibtex   
@proceedings{ cade92,
  title = {Automated Deduction --- CADE-11, 11th International Conference on Automated Deduction},
  booktitle = {Automated Deduction --- CADE-11, 11th International Conference on Automated Deduction},
  editor = {Deepak Kapur},
  publisher = {Springer-Verlag},
  series = {Lecture Notes in Artificial Intelligence},
  volume = {607},
  year = {1992},
  month = {June},
  address = {Saratoga Springs, New York},
  isbn = {3-540-55602-8},
  index = {CADE-11},
  uri = {http://www.springer.com/sgw/cda/frontpage/0,11855,5-0-22-1379329-0,00.html},
  uri = {http://www.informatik.uni-trier.de/~ley/db/conf/cade/cade92.html}
}

Downloads: 0