TY  - BOOK
AU  - 32
TI  - EIN PROGRAMMSYSTEM UND FORMALISNMEN FUR DAS WISSENSBASIERTE PROGRAMMIEREN
SN  - 02590689
ER  -