Not logged in.
Quick Search - Contribution
Contribution Details
| Type | Conference or Workshop Paper |
| Scope | Discipline-based scholarship |
| Published in Proceedings | No |
| Title | Controlled Natural Language Can Replace First-Order Logic |
| Authors |
|
| Item Subtype | Original Work |
| Refereed | Yes |
| Status | Published in final form |
| Event Title | Proceedings 14th IEEE International Conference on Automated Software Engineering, ASE'99 |
| PDF File |
Download
|
| Export |
BibTeX
EP3 XML (ZORA)
|