Prin︠t︡sipy realiza︠t︡sii nedoopredelennogo logicheskogo vyvoda /

Saved in:
Bibliographic Details
OCLC:33001766
Main Author: Artemʹeva, I. L. (Irina Leonidovna)
Corporate Author: Institut avtomatiki i pro︠t︡sessov upravleni︠i︡a (Rossiĭska︠i︡a akademi︠i︡a nauk)
Language:Russian
Published: Vladivostok : IAPU DVO RAN, 1992.
Subjects:
Automatic theorem proving.
Logic programming.
System analysis.
Format:

Monograph

Note that CRL will digitize material from the collection when copyright allows.

Description
Item Description:At head of title: Rossiĭska︠i︡a akademi︠i︡a nauk. Dalʹnevostochnoe otdelenie. Institut avtomatiki i pro︠t︡sessov upravleni︠i︡a.
"Preprint."
Physical Description:34 p. ; 20 cm.
Bibliography:Includes bibliographical references (p. 32-34)

Similar Items