TY -
BOOK
AU - Burghardt, Jochen
TI -
Eine feinkörnige Sortendisziplin und ihre Anwendung in der Programmkonstruktion
PB - Oldenbourg
SN - 3486226878
KW - Bericht
KW - Hochschulschrift
KW - Programmsynthese
KW - Automatisches Beweisverfahren
KW - Sorte Logik
KW - Unifikationstheorie
PY - 1993
N2 - Lit.-Verz. S. 237 - 242
BT - Berichte der Gesellschaft für Mathematik und Datenverarbeitung ; 212
CY - München
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -