Metody i algoritmy induktivnogo vyvoda /

Zapisane w:
Opis bibliograficzny
OCLC:22004205
1. autor: L︠i︡ashenko, N. N.
Kolejni autorzy: Ponomarev, Valentin Mikhaĭlovich
Język:Russian
Wydane: Leningrad : Akademi︠i︡a nauk SSSR, Leningradskiĭ in-t informatiki i avtomatiza︠t︡sii, 1989.
Hasła przedmiotowe:
Induction (Mathematics)
Logic, Symbolic and mathematical.
Format:

Monograph

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

Borrow this resource

Item List

Opis Local Call Number Status
R-19181 Dostępne

Podobne zapisy