Print͡sipy realizat͡sii nedoopredelennogo logicheskogo vyvoda
By: Artemʹeva I.L.
Contributors: Institut avtomatiki i prot͡sessov upravlenii͡a (Rossiĭskai͡a akademii͡a nauk)
Publisher: IAPU DVO RAN
Published: 1992
Place of publication: Vladivostok
Language: rus
Number of pages: 34
Subjects: Automatic theorem proving; Logic programming; System analysis
Notes: At head of title: Rossiĭskai͡a akademii͡a nauk. Dalʹnevostochnoe otdelenie. Institut avtomatiki i prot͡sessov upravlenii͡a.

"Preprint."

Includes bibliographical references (p. 32-34)