Concepedia

Author

Steve Lopez

Mitre (United States)

Also Known As

Lopez, Steve, STEVE LOPEZ, Steve Lopez

2

Publications

34

Citations

1

H-Index

8

Concepts

All Affiliations

Mitre (United States)
SL

About

Steve Lopez is an author at Mitre (United States) specializing in formal methods, logic programming, and semantics.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

34

2

Semantics

1

1

34

3

Automated Reasoning

1

1

34

4

Description Logics

1

1

34

5

Formal Methods

1

1

34

Steve Lopez

×

1

Publications

34

Citations

1

H-Index

YearCitations

Page 1