Metody i algoritmy induktivnogo vyvoda /

Gorde:
Xehetasun bibliografikoak
OCLC:22004205
Egile nagusia: L︠i︡ashenko, N. N.
Beste egile batzuk: Ponomarev, Valentin Mikhaĭlovich
Hizkuntza:Russian
Argitaratua: Leningrad : Akademi︠i︡a nauk SSSR, Leningradskiĭ in-t informatiki i avtomatiza︠t︡sii, 1989.
Gaiak:
Induction (Mathematics)
Logic, Symbolic and mathematical.
Formatua:

Monograph

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

Borrow this resource

Item List

Deskribapena Local Call Number Egoera
R-19181 Eskuragarri

Antzeko izenburuak