Concepedia

Author

Brian Cantwell Smith

Stanford University

Also Known As

Brian C. Smith, Brian Cantwell Smith, Brian Smith

40

Publications

2.1K

Citations

18

H-Index

68

Concepts

All Affiliations

Stanford UniversityPalo Alto Research CenterMoscow Institute of Thermal TechnologyMassachusetts Institute of Technology
BC

About

Brian Cantwell Smith is an author at Stanford University specializing in automated reasoning, engineering, and formal methods.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

7

7

495

2

Language Studies

3

3

632

3

Arts

2

2

157

4

Social Sciences

2

2

110

5

Education

1

1

92

Brian Cantwell Smith

×

12

Publications

1.2K

Citations

12

H-Index

YearCitations

Page 1