Concepedia

Arthur W. Burks

AW

Statistics

Publications

31

Citations

9.5K

H-Index

23

Active since

1943

Affiliations

University of Michigan(Current)

Institute for Advanced Study

Arthur W. Burks is an author at University of Michigan specializing in engineering, automated reasoning, and computer science.

Top concepts

EngineeringAutomated ReasoningComputer ScienceFormal MethodsLinguisticsEpistemologyFormal VerificationComputer EngineeringSocial SciencesCognitive Science

Publications per year

1943–2007

31

Publications

31

1–5 of 31