Viewing reasoning as program execution
Publisher: Gesellschaft fur Mathematik und Datenverarbeitung
Published: 1988
Place of publication: Sankt Augustin
Language: eng
Number of pages: 17