Vyvod v sistemakh produkt͡siĭ s nedoopredelennyni obe̋ktami
Subtitle: prot͡sess logicheskogo vyvoda
By: I.L. Artemʹeva, A.S. Kleshchev
Contributors: Kleshchëv, A. S. (Aleksandr Sergeevich); 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: 41
Subjects: Automatic theorem proving; Artificial intelligence
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. 41)