Gleichheit in Prolog
Subtitle: Ein Fallbeispiel
Publisher: Gesellschaft f"ur Mathematik und Datenverarbeitung
Published: 1986
Place of publication: Sankt Augustin, W.-Germany
Language: ger
Number of pages: 79