Media type: E-Book Title: Zwischenbericht zur Arbeit im DFG-Projekt 'Modellpartitionierung, Logiksimulation Contributor: Spruth, Wilhelm G. [Author]; Hering, Klaus [Author]; Haupt, Reiner [Author]; Petri, Udo [Author] Published: Leipzig: Universität Leipzig, 1997 Published in: Report ; 1997,6 Extent: 1 Online-Ressource Language: German Identifier: RVK notation: ST 134 : Algorithmen-, Komplexitätstheorie ST 302 : Expertensysteme; Wissensbasierte Systeme Origination: Footnote: Access State: Open Access