Concepedia
1
Publications
128
Citations
H-Index
1980
Active since
V. D. Dzgoev is an author specializing in automated reasoning.
Top concepts
Automated Reasoning
Publications per year
1980–1980
Autostability of models
V. D. Dzgoev · Algebra and Logic · 1980 · 128 citations
Automated Reasoning, Model Analysis, Finite Model Theory +1
Rows per page
1–1 of 1