Concepedia

Author

A. A. Stolyar

Novosibirsk State University

Also Known As

A. A. Stolyar

2

Publications

102

Citations

2

H-Index

4

Concepts

All Affiliations

Novosibirsk State University
AA

About

A. A. Stolyar is an author at Novosibirsk State University specializing in automated reasoning, formal logic, and engineering.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

21

2

Computer Science

1

1

21

3

Automated Reasoning

1

1

21

4

Formal Logic

1

1

21

A. A. Stolyar

×

2

Publications

102

Citations

2

H-Index

YearCitations

Page 1