Modes and types for Prolog
Publisher: Gesellschaft fur Mathematik und Datenverarbeitung
Published: 1988
Place of publication: Sankt Augustin
Language: ger
Number of pages: 40