TU Darmstadt / ULB / TUbiblio

J.UCS Special Issue on Integration of Deduction Systems

Hähnle, Reiner ; Menzel, Wolfram ; Schmitt, Peter H. ; Reif, Wolfgang (1999)
J.UCS Special Issue on Integration of Deduction Systems.
In: J. UCS, 5 (3)
Artikel, Bibliographie

Typ des Eintrags: Artikel
Erschienen: 1999
Autor(en): Hähnle, Reiner ; Menzel, Wolfram ; Schmitt, Peter H. ; Reif, Wolfgang
Art des Eintrags: Bibliographie
Titel: J.UCS Special Issue on Integration of Deduction Systems
Sprache: Deutsch
Publikationsjahr: 1999
Titel der Zeitschrift, Zeitung oder Schriftenreihe: J. UCS
Jahrgang/Volume einer Zeitschrift: 5
(Heft-)Nummer: 3
URL / URN: http://www.jucs.org/jucs_5_3/j_ucs_special_issue
Fachbereich(e)/-gebiet(e): 20 Fachbereich Informatik > Software Engineering
20 Fachbereich Informatik
Hinterlegungsdatum: 27 Apr 2018 10:00
Letzte Änderung: 27 Apr 2018 10:00
PPN:
Export:
Suche nach Titel in: TUfind oder in Google
Frage zum Eintrag Frage zum Eintrag

Optionen (nur für Redakteure)
Redaktionelle Details anzeigen Redaktionelle Details anzeigen