Persons
RUS
ENG
JOURNALS
PEOPLE
ORGANISATIONS
CONFERENCES
SEMINARS
VIDEO LIBRARY
PACKAGE AMSBIB
JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website
Neiman, V S
Statistics Math-Net.Ru
Total publications:
1
Scientific articles:
1
Number of views:
This page:
38
Abstract pages:
73
Full texts:
19
https://www.mathnet.ru/eng/person149602
List of publications on Google Scholar
List of publications on ZentralBlatt
Publications in
Math-Net.Ru
Citations
1986
1.
V. S. Neiman, “Proof search without repeated examination of subgoals”,
Dokl. Akad. Nauk SSSR
,
286
:5 (1986),
1065–1068
Organisations
Institute of Theoretical Astronomy of the USSR Academy of Sciences
Contact us:
email
Terms of Use
Registration to the website
Logotypes
©
Steklov Mathematical Institute RAS
, 2024
Contact us: