Please use this identifier to cite or link to this item: doi:10.22028/D291-42132
Title: TENUA : A Test Environment for Unification Algorithms
Author(s): Scheidhauer, R.
Seul, G.
Language: English
Year of Publication: 1988
Place of publication: Kaiserslautern
DDC notations: 004 Computer science, internet
Publikation type: Report
Link to this record: urn:nbn:de:bsz:291--ds-421320
hdl:20.500.11880/37782
http://dx.doi.org/10.22028/D291-42132
Series name: SEKI working paper : SWP ; SEKI-Projekt / Deutsches Forschungszentrum für Künstliche Intelligenz, DFKI [ISSN 1860-5931]
Series volume: 88,3
Date of registration: 4-Jun-2024
Faculty: SE - Sonstige Einrichtungen
Department: SE - DFKI Deutsches Forschungszentrum für Künstliche Intelligenz
Professorship: SE - Sonstige
Collections:SciDok - Der Wissenschaftsserver der Universität des Saarlandes



Items in SciDok are protected by copyright, with all rights reserved, unless otherwise indicated.