Concepedia

V N Grišin

VN

Statistics

Publications

1

Citations

99

H-Index

1

Active since

1982

V N Grišin is an author specializing in formal methods, automated reasoning, and engineering.

Top concepts

Publications per year

1982–1982

1

Publications

1

PREDICATE AND SET-THEORETIC CALCULI BASED ON LOGIC WITHOUT CONTRACTIONS

V N Grišin · Mathematics of the USSR-Izvestiya · 1982 · 99 citations

, , +11

1–1 of 1