Searching for authors named "Uta Schwertel" – sorted by Relevance.
-
Controlling Plural Ambiguities in Attempto Controlled English (ACE)
- Controlling Plural Ambiguities in Attempto Controlled English (ACE) Uta Schwertel Department
- Cited by 8 (3 self) – Add To MetaCart
-
A Natural Language Front-End to Automatic Verification and Validation of Specifications
- . Fuchs, Uta Schwertel Department of Computer Science, University of Zurich, Switzerland ffuchs
- Add To MetaCart
-
Reasoning in Attempto Controlled English
- Reasoning in Attempto Controlled English Norbert E. Fuchs, Uta Schwertel Institut für Informatik
- Cited by 22 (5 self) – Add To MetaCart
-
Attempto Controlled English (ACE) for Software Specifications
- Attempto Controlled English (ACE) for Software Specifications Rolf Schwitter Norbert E. Fuchs Uta
- Add To MetaCart
-
Controlled Natural Language Can Replace First-Order Logic
- Controlled Natural Language Can Replace First-Order Logic Norbert E. Fuchs, Uta Schwertel
- Cited by 8 (0 self) – Add To MetaCart
-
unknown title
- Computer Science University of Munich Germany Betreuer: Prof. François Bry and Dr. Phil. Uta Schwertel
- Add To MetaCart
-
3.1 Singular Countable Noun Phrases........................... 10 3.2 Mass Nouns....................................... 11
- -2005.8 Norbert E. Fuchs 1 , Stefan Hoefler 2 , Kaarel Kaljurand 1 Gerold Schneider 1 , Uta Schwertel 3
- Add To MetaCart
-
Attempto Controlled English (ACE)
- Version 3.0 Norbert E. Fuchs, Uta Schwertel, Rolf Schwitter Nr. 99.03 August 1999 Contents 1 What
- Add To MetaCart
-
Controlled Natural Language Can Replace First-Order Logic
- Controlled Natural Language Can Replace First-Order Logic Norbert E. Fuchs, Uta Schwertel
- Add To MetaCart
-
A Natural Language Front-End to Model Generation
- A Natural Language Front-End to Model Generation NORBERT E. FUCHS, UTA SCHWERTEL, Department
- Cited by 2 (1 self) – Add To MetaCart

