Inproceedings,

Theory Resolution: Building in Nonequational Theories.

.
AAAI, page 391-397. AAAI Press, (1983)

Meta data

Tags

Users

  • @dblp

Comments and Reviews