Anti-Unifikation modulo Gleichungstheorie und deren Anwendung zur Lemmagenerierung
Gespeichert in:
- 1. Verfasser:
- Format:
- Abschlussarbeit Buch Dissertation
- Sprache:
- Deutsch
- Veröffentlicht:
-
München [u.a.]
Oldenbourg
1996
- Bestände:
-
-
Geb. 25.22 1. Etage: mats.g300(261)
-
- Umfang:
- 174 S. : graph. Darst.
- Anmerkungen:
- Berlin, Techn. Univ., Diss., 1995
- Schriftenreihe:
-
GMD-Berichte
; 261
- ISBN:
- 3486238736
- Schlagworte:
- Links: