Workshop Report on "Automated Reasoning: Bridging the Gap Between Theory and Practice''. Frisch, A. M. AISB Quaterly, Summer, 1994.
bibtex   
@article{ Frisch/94/Workshop,
  author = {Alan M. Frisch},
  title = {Workshop Report on "Automated Reasoning: Bridging the Gap Between Theory and Practice''},
  journal = {AISB Quaterly},
  month = {Summer},
  pages = {47--49},
  number = {88},
  year = {1994}
}

Downloads: 0