SciDok

Eingang zum Volltext in SciDok

Lizenz

Report (Bericht) zugänglich unter
URN: urn:nbn:de:bsz:291-scidok-38607
URL: http://scidok.sulb.uni-saarland.de/volltexte/2011/3860/


A sampler of relational/functional definitions (second, revised edition)

Weitere Beteiligte (Hrsg. etc.): Boley, Harold [Hrsg.]

Quelle: (1991) Kaiserslautern ; Saarbrücken : DFKI, 1991
pdf-Format:
Dokument 1.pdf (12.737 KB)

Bookmark bei Connotea Bookmark bei del.icio.us
SWD-Schlagwörter: Künstliche Intelligenz
Institut: DFKI Deutsches Forschungszentrum für Künstliche Intelligenz
DDC-Sachgruppe: Informatik
Dokumentart: Report (Bericht)
Schriftenreihe: Technical memo / Deutsches Forschungszentrum für Künstliche Intelligenz [ISSN 0946-0071]
Bandnummer: 91-04
Sprache: Englisch
Erstellungsjahr: 1991
Publikationsdatum: 06.07.2011
Kurzfassung auf Englisch: This is a collection of annotated RELFUN definitions showing principles and applications of relational/functional specification. It consists of concise declarative programs (often invertible) selected on the basis of didactic considerations. The knowledge they encode is mostly derived from the domain of mechanical engineering. The definitions solve problems in solid geometry, feature parsing, workpiece normalization, chemistry, etc.. All examples can be run directly in RELFUN.
Lizenz: Standard-Veröffentlichungsvertrag

Home | Impressum | Über SciDok | Policy | Kontakt | Datenschutzerklärung | English