1
0
0
(1 - 17 von 19
)
BibSonomy
www.bibsonomy.org
Norbert E. Fuchs, and Uta Schwertel. Reasoning in Attempto Controlled English.. In François Bry, Nicola Henze, and Jan Maluszynski (Eds.), PPSWR, ...
Data Integration in the Life Sciences: Third International ...google.com
books.google.com
... Interoperability and User Interfaces. The 19th International FLAIRS Conference (FLAIRS'2006), Norbert E. Fuchs, Uta Schwertel, Rolf Schwitter.
Data Integration in the Life Sciences: Third International ...books.google.cz › books
books.google.cz
Norbert E. Fuchs, Stefan Hoefler, Kaarel Kaljurand, Tobias Kuhn, Gerold Schneider, Uta Schwertel. Discourse Representation Structures of ACE 4 Sentences, ...
Reasoning in Attempto Controlled EnglishUZH
attempto.ifi.uzh.ch
von NE Fuchs · Zitiert von: 46 — Norbert E. Fuchs, Uta Schwertel. Institut für Informatik, Universität Zürich. {fuchs, .ch http://www.ifi.unizh.ch/attempto. Abstract.
Attempto Controlled English — Not Just Another Logic Specification...
link.springer.com
4. Department of Information Science, Uppsala University. Authors. Norbert E. Fuchs (5); Uta Schwertel (5); Rolf Schwitter (5). Author Affiliations.
Reasoning in Attempto Controlled English | SpringerLinklink.springer.com › chapter
link.springer.com
Norbert E. Fuchs &; Uta Schwertel. Conference paper Accesses. 8 Citations. Part of the Lecture Notes in Computer Science book series (LNCS,volume 2901) ...
Wikipedia: Specification language - Wikipedia
A specification language is a formal language in computer science used during systems ... Jump up ^ Fuchs, Norbert E., Uta Schwertel, and Rolf Schwitter.
A Natural Language Front-End to Automatic Veri cation ...LMU München
www.pms.ifi.lmu.de
von NE Fuchs · Zitiert von: 7 — Norbert E. Fuchs, Uta Schwertel. Department of Computer Science, University of Zurich, Switzerland. ffuchs, uschwertg@i .unizh.ch. Sunna Torge.
Attempto Controlled English - Not Just Another Logic Specification ...www.semanticscholar.org › paper › Attempto-Contr...
www.semanticscholar.org
... title={Attempto Controlled English - Not Just Another Logic Specification Language}, author={Norbert E. Fuchs and Uta Schwertel and Rolf Schwitter}, ...
Attempto Controlled English — Not Just Another Logic ...The University of Manchester
apt.cs.manchester.ac.uk
von NE Fuchs · Zitiert von: 177 — Norbert E. Fuchs, Uta Schwertel, Rolf Schwitter. Department of Computer Science, University of Zurich. {fuchs, uschwert, .ch.
Attempto Controlled English — Not Just Another Logic Specification...
www.infona.pl
... Another Logic Specification Language. Norbert E. Fuchs, Uta Schwertel, Rolf Schwitter · Details · Contributors · Bibliography · Quotations · Similar · Collections ...
Attempto - English as (formal) specification language —...
researchers.mq.edu.au
Norbert E. Fuchs, Uta Schwertel, Rolf Schwitter. Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution › ...
The Automated Software Engineering Conferenceuu.se
user.it.uu.se
... Andrea Savigni, Andrea Sosio, Francesco Tisato, "Controlled Natural Language Can Replace First-Order Logic" - Uta Schwertel, Norbert Fuchs, Sunna Torge ...
Combined Bibliography
www.jfsowa.com
Fuchs, Norbert E., Uta Schwertel, Rolf Schwitter (1999) Attempto Controlled English (ACE), Language Manual, Version 3.0, Technical Report ...
Globalization, internationalization, localization
neil.minkley.fr
Attempto Controlled English (Norbert E. Fuchs, Uta Schwertel, Rolf Schwitter - Institut für Informatik der Universität Zürich). The international language of ISO ...
Ontology, Metadata, and Semiotics
perso.liris.cnrs.fr
Fuchs, Norbert E., Uta Schwertel, Rolf Schwitter (1999) Attempto Controlled English (ACE), Language Manual, Version 3.0, Technical Report ifi , University ...
Alle Infos zum Namen "Uta Schwertel"
sortiert nach Relevanz / Datum