Concepedia

Author

Angelo Margaris

Also Known As

A. V. Margaris, Angelo Margaris

10

Publications

992

Citations

3

H-Index

4

Concepts

AM

About

Angelo Margaris is an author specializing in automated reasoning, formal methods, and formal logic.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

932

2

Automated Reasoning

1

1

932

3

Formal Logic

1

1

932

4

Formal Methods

1

1

932

Angelo Margaris

×

1

Publications

932

Citations

1

H-Index

YearCitations

Page 1