Media type: Book; Thesis Title: Eine feinkörnige Sortendisziplin und ihre Anwendung in der Programmkonstruktion Contributor: Burghardt, Jochen [Author] imprint: München; Wien: Oldenbourg, 1993 Published in: Gesellschaft für Mathematik und Datenverarbeitung: Berichte der Gesellschaft für Mathematik und Datenverarbeitung ; 212 Extent: 246 S; graph. Darst; 23 cm Language: German ISBN: 3486226878 RVK notation: SI 210 : Gesellschaft für Mathematik und Datenverarbeitung <Sankt Augustin>: GMD-Berichte ST 304 : Automatisches Programmieren, Deduction and theorem proving, Wissensrepräsentation Keywords: Programmsynthese > Automatisches Beweisverfahren > Sorte > Unifikationstheorie Automatisches Beweisverfahren Origination: University thesis: Zugl.: Karlsruhe, Univ., Diss., 1992 Footnote: Lit.-Verz. S. 237 - 242