Matematičeskaja teorija logičeskogo vyvoda : matematičeskaja logika i osnovanija matematiki /

Psichologija mašinnogo zrenija /

Problemy mašinnogo perevoda.

SAPR sistem logičeskogo upravlenija /

Zadači poiska /

Sistemy vvoda-vyvoda EVM /

Upravljajuščije ustrojstva logičeskogo tipa /

Pravila logičeskogo dokazatel'stva.

Sovremennyje problemy masinnogo analiza bi

Ustrojstva vvoda i vyvoda informacii universaľnych ...

Avtomatizacija bibliografičeskogo poiska.

Schemy poiska neispravnostej /

Statističeskije metody poiska.

Adaptacija slučajnogo poiska /

Sistemy vvoda-vyvoda cifrovych vyčislitelnych mašin /

Kategorial´nyj sintez logičeskogo znanija /

Vvedenije v metody Bajesovskogo statističeskogo vyvoda /

Kanaly vvoda-vyvoda EVM ES-1020 /

Metody i technika mašinnogo analiza biologičeskich struktur.

Gorizonty naučnogo poiska : 9 interv´ju /

Algorifm mašinnogo poiska estestvennogo logičeskogo vyvoda v isčislenii vyskazyvanij /