A. B. Sunter

AB

Statistics

Publications

4

Citations

2.8K

H-Index

4

Active since

1969

Affiliations

A. B. Sunter is an author at Dominion (United States) specializing in automated reasoning, verification, and knowledge representation.

Publications per year

1969–1977

4

Publications

4