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.

Borrow this resource

Item List

Description Local Call Number Status
R-28564 Available

Similar Items