Suchergebnis

zu den Filteroptionen

Suche nach: Schlagwort = Deduktionssystem und Sammlung = ULB Düsseldorf

Consistency based process diagnosis based on the variant connection graph proof procedure and Petri nets
Wang, Yu
Als Ms. gedr., Düsseldorf : VDI-Verl., 1997