Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen: doi:10.22028/D291-25022
Titel: A sampler of relational/functional definitions (second, revised edition)
Sonstige beteiligte Personen: Boley, Harold
Sprache: Englisch
Erscheinungsjahr: 1991
Quelle: Kaiserslautern ; Saarbrücken : DFKI, 1991
SWD-Schlagwörter: Künstliche Intelligenz
DDC-Sachgruppe: 004 Informatik
Dokumentart : Report (Bericht)
Kurzfassung: 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.
Link zu diesem Datensatz: urn:nbn:de:bsz:291-scidok-38607
hdl:20.500.11880/25078
http://dx.doi.org/10.22028/D291-25022
Schriftenreihe: Technical memo / Deutsches Forschungszentrum für Künstliche Intelligenz [ISSN 0946-0071]
Band: 91-04
SciDok-Publikation: 6-Jul-2011
Fakultät: Sonstige Einrichtungen
Fachrichtung: SE - DFKI Deutsches Forschungszentrum für Künstliche Intelligenz
Fakultät / Institution:SE - Sonstige Einrichtungen

Dateien zu dieser Ressource:
Datei Beschreibung GrößeFormat 
TM_91_04.pdf12,74 MBAdobe PDFÖffnen/Anzeigen


Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.