Controlled Natural Language Can Replace First-Order Logic

Publication type:

inproceedings

Authors:

Norbert E. Fuchs

Title:

Controlled Natural Language Can Replace First-Order Logic

Year:

1999

booktitle:

Proceedings 14th IEEE International Conference on Automated Software Engineering, ASE'99

actions