Algorithmic structural completeness and a retrieval system for proving theorems in algorithmic theories
By: Andrzej Biela
Series: Prace naukowe Uniwersytetu Śląskiego w Katowicach -- nr. 1901
Publisher: Wydawn. Uniwersytetu Śląskiego
Published: 2000
Place of publication: Katowice
Language: eng
Number of pages: 121
Subjects: Formal languages; Algorithms; Symbolic and mathematical Logic; Automatic theorem proving
Notes: Includes bibliographical references (p. 113-[118]).