Metody i algoritmy induktivnogo vyvoda /

Na minha lista:
Detalhes bibliográficos
OCLC:22004205
Autor principal: L︠i︡ashenko, N. N.
Outros Autores: Ponomarev, Valentin Mikhaĭlovich
Idioma:Russian
Publicado em: Leningrad : Akademi︠i︡a nauk SSSR, Leningradskiĭ in-t informatiki i avtomatiza︠t︡sii, 1989.
Assuntos:
Induction (Mathematics)
Logic, Symbolic and mathematical.
Formato:

Monograph

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

Borrow this resource

Item List

Descrição Local Call Number Estado
R-19181 Disponível

Registros relacionados