Title |
Anti-Unifikation modulo Gleichungstheorie und deren Anwendung zur Lemmagenerierung / Birgit Heinz. GMD-Forschungszentrum Informationstechnik GmbH |
|---|---|
Involved |
Birgit Heinz (Verfasser) |
Published |
München, Wien: Oldenbourg |
Extent |
174 S. : graph. Darst. |
Thesis |
Zugl.: Berlin, Techn. Univ., Diss., 1995 |
ISBN |
978-3-486-23873-0 |
Topic |
|
Subject |
Lemma (Logik), Induktionsbeweis, Automatisches Beweisverfahren, Unifikationstheorie, Gleichungstheorie |
Series |
GMD-Bericht ; Nr. 261 |
Record ID |
947318445 |
Please note
The beta version does not yet contain all functions and information of the DNB portal catalogue. If you are missing information or want to order a medium, please visit the page in the DNB portal catalogue via the following link: