Concepedia

Thomas H. Mott

TH

4

Publications

99

Citations

4

H-Index

1960

Active since

Affiliations

Rutgers, The State University of New Jersey(Current)

RCA (United States)

Thomas H. Mott is an author at Rutgers, The State University of New Jersey specializing in formal methods, automated reasoning, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningBusinessGraph TheoryLibrary ScienceNetwork ScienceNetwork AnalysisFormal Verification

Publications per year

1960–1983

4

Publications

4

Determination of the Irredundant Normal Forms of a Truth Function by Iterated Consensus of the Prime Implicants

Thomas H. Mott · IEEE Transactions on Electronic Computers · 1960 · 41 citations

Paraconsistent Logic, Engineering, Classical Logic +17

Academic library acquisitions allocation based on multiple collection development goals

M.H. BEILBY, Thomas H. Mott · Computers & Operations Research · 1983 · 26 citations

Library Science

A Note on Tributary Switching Networks

Saul Levy, R. O. Winder, Thomas H. Mott · IEEE Transactions on Electronic Computers · 1964 · 19 citations

Network Science, Graph Theory, Network Planning +5

Computing Irredundant Normal Forms from Abbreviated Presence Functions

Donald M. Y. Chang, Thomas H. Mott · IEEE Transactions on Electronic Computers · 1965 · 13 citations

Abbreviated Presence Functions, Engineering, Generalized Function +14

Rows per page

1–4 of 4