Suchfeld einblenden
Person Heinz, Birgit
1 Treffer
Seite < 1 >
Heinz, Birgit: Anti-Unifikation modulo Gleichungstheorie und deren Anwendung zur Lemmagenerierung
/ Birgit Heinz. GMD-Forschungszentrum Informationstechnik GmbH. - München : Oldenbourg, 1996. - 174 S. : graph. Darst.; 24 cm - (GMD-Bericht; Nr. 261)
ISBN 978-3-486-23873-0 / 3-486-23873-6 kart. : DM 51.00
Quelle: DNB
Seite < 1 >
