Concepedia

Author

Andrea W. Guillory

University of Oklahoma

Also Known As

Andrea W. Guillory

3

Publications

12

Citations

2

H-Index

7

Concepts

All Affiliations

University of Oklahoma
AW

About

Andrea W. Guillory is an author at University of Oklahoma specializing in automated reasoning, verification, and formal methods.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

10

2

Computer Science

1

1

10

3

Reasoning

1

1

10

4

Automated Reasoning

1

1

10

5

Formal Methods

1

1

10

Andrea W. Guillory

×

1

Publications

10

Citations

1

H-Index

YearCitations

The ontogeny of the verification system

M. Michael Akiyama, Andrea W. Guillory

Journal of Verbal Learning and Verbal Behavior

1983

10

Page 1