Concepedia

James A. Smith

JA

Statistics

Publications

1

Citations

19

H-Index

1

Active since

1976

James A. Smith is an author specializing in logic programming, formal verification, and engineering.

Top concepts

Publications per year

1976–1976

1

Publications

1

Automatic generation of logic diagrams

James A. Smith, James G. Linders · 1976 · 19 citations

, , +13

1–1 of 1