Analogieschlüsse beim automatischen Beweisen
By: Oscar Slotosch.
Publisher: Kovač
Published: 1992
Place of publication: Hamburg
Language: ger
Number of pages: 115
Subjects: Automatic theorem proving.
Notes: Includes bibliographical references (p. 110-115).