> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch; Hochschulschrift Titel: Eine feinkörnige Sortendisziplin und ihre Anwendung in der Programmkonstruktion Beteiligte: Burghardt, Jochen [VerfasserIn] Erschienen: München; Wien: Oldenbourg, 1993 Erschienen in: Gesellschaft für Mathematik und Datenverarbeitung: Berichte der Gesellschaft für Mathematik und Datenverarbeitung ; 212 Umfang: 246 S; graph. Darst; 23 cm Sprache: Deutsch 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 Schlagwörter: Programmsynthese > Automatisches Beweisverfahren > Sorte > Unifikationstheorie Automatisches Beweisverfahren Entstehung: Hochschulschrift: Zugl.: Karlsruhe, Univ., Diss., 1992 Anmerkungen: Lit.-Verz. S. 237 - 242 Weitere Bestandsnachweise 0 : Berichte der Gesellschaft für Mathematik und Datenverarbeitung