A comparison of mechanisms for avoiding repetition of subdeductions in chain formal linear deduction systems
From Semantic Portal Wiki
{{#vardefine:category|Publication}}{{#vardefine:templatename|i.publication}}{{#vardefine:package|smwbp_instance_templates}}
| Edit |
Reference: {{#vardefine:pagename|a comparison of mechanisms for avoiding repetition of subdeductions in chain formal linear deduction systems }}
- [[]]
bibtex
{{#vardefine:pagename|A comparison of mechanisms for avoiding repetition of subdeductions in chain formal linear deduction systems }}{{#vardefine:key| }}
abstract:
download:
- paper:
- slides:
Facts about A comparison of mechanisms for avoiding repetition of subdeductions in chain formal linear deduction systemsRDF feed
| Author | Geoff Sutcliffe + |
| Bibtype | inproceedings + |
| Booktitle | LPAR + |
| Key | dblp:conf/lpar/sutcliffe93 + |
| Pages | 321-332 + |
| Source | http://dblp.uni-trier.de/rec/bibtex/conf/lpar/Sutcliffe93 + |
| Tag | Computer science + |
| Title | A Comparison of Mechanisms for Avoiding Repetition of Subdeductions in Chain Formal Linear Deduction Systems + |
| Year | 1993 + |
