TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 2.

Kirchner, Holger and Schönfeld, Wolfgang and Steinmetz, Ralf (2002):
Verfahren zur Diensterkennung und Dienstinformationsbereitstellung im Vergleich.
Berlin [u.a.], VDE-Verl., In: Neue Kommunikationsanwendungen in modernen Netzen: Vorträge der ITG-Fachtagung am 28. Februar und 1. März 2002 in Duisburg.- Berlin [u.a.]: VDE-Verl., 2002. - (ITG-Fachbericht ; 171).- S. 19-27, [Conference or Workshop Item]

Hähnle, Reiner
Börger, Egon and Kleine Büning, Hans and Richter, Michael and Schönfeld, Wolfgang (eds.) (1991):
Towards an Efficient Tableau Proof Procedure for Multiple-Valued Logics.
In: Selected Papers from Computer Science Logic, {CSL}'90, Heidelberg, Germany, Springer-Verlag, pp. 248--260, [Book Section]

This list was generated on Tue Oct 15 01:05:54 2019 CEST.