Concepedia

Author

A. I. Malʹt︠s︡ev

Also Known As

A I Mal'tsev, A. I. Mal'tsev, A. I. Malʹt︠s︡ev, A. I. Mal’tsev, A.I. Maltsev

15

Publications

343

Citations

4

H-Index

3

Concepts

AI

About

A. I. Malʹt︠s︡ev is an author specializing in automated reasoning, engineering, and formal methods.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Automated Reasoning

2

2

243

2

Engineering

1

1

31

3

Formal Methods

1

1

31

A. I. Malʹt︠s︡ev

×

3

Publications

333

Citations

3

H-Index

YearCitations

Page 1