Controlled natural language can replace first-order logic.
| Autor: | Fuchs, N.E., Schwertel, U., Torge, S. |
|---|---|
| Zdroj: | 14th IEEE International Conference on Automated Software Engineering; 1999, p295-298, 4p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|
| Autor: | Fuchs, N.E., Schwertel, U., Torge, S. |
|---|---|
| Zdroj: | 14th IEEE International Conference on Automated Software Engineering; 1999, p295-298, 4p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|