Metody i algoritmy induktivnogo vyvoda /

محفوظ في:
التفاصيل البيبلوغرافية
OCLC:22004205
المؤلف الرئيسي: L︠i︡ashenko, N. N.
مؤلفون آخرون: Ponomarev, Valentin Mikhaĭlovich
اللغة:Russian
منشور في: Leningrad : Akademi︠i︡a nauk SSSR, Leningradskiĭ in-t informatiki i avtomatiza︠t︡sii, 1989.
الموضوعات:
Induction (Mathematics)
Logic, Symbolic and mathematical.
التنسيق:

Monograph

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

الوصف
وصف مادي:127 p. : ill. ; 21 cm.
بيبلوغرافيا:Includes bibliographical references (p. 125-127)

مواد مشابهة