Browse “Automatic theorem proving” in an alphabetical list of subjects

Browse by subject help: Search within an alphabetical list of all Library of Congress Subject Headingsopen_in_new (LCSH) indexed in the Library catalog.

Subject Records
Automatic test equipment--Testing--Congresses 3 records
3 records
Automatic test pattern generation About this subjectopen_in_new 1 record
Broader term (in subject list):
  1. Electronic circuits--Testing (20 records)
1 record
We found a matching subject in our catalog for: Automatic theorem proving.
Automatic theorem proving About this subjectopen_in_new 107 records
Broader terms (in subject list):
  1. Artificial intelligence (17876 records)
  2. Proof theory (189 records)
Narrower terms (in subject list):
  1. Nuprl (Computer system) (1 record)
  2. Ontic (Computer system) (1 record)
107 records
Automatic theorem proving--Computer programs About this subjectopen_in_new 3 records
3 records
Automatic theorem proving--Congresses About this subjectopen_in_new 91 records
91 records
Automatic theorem proving--Periodicals 2 records
2 records
Automatic timers About this subjectopen_in_new 17 records
Broader terms (in subject list):
  1. Automatic control (2986 records)
  2. Engineering instruments (202 records)
  3. Time measurements (178 records)
Narrower term (in subject list):
  1. Delay lines (17 records)
17 records
Automatic timers--Calibration About this subjectopen_in_new 2 records
2 records
Automatic timers--Calibration--Testing 2 records
2 records
Automatic timers--Congresses 1 record
1 record
Automatic timers--Maintenance and repair--Handbooks, manuals, etc 1 record
1 record
Automatic Track-Sanding Company 1 record
1 record
Automatic tracking About this subjectopen_in_new 34 records
Broader terms (in subject list):
  1. Servomechanisms (141 records)
  2. Tracking (Engineering) (9 records)
34 records
Automatic tracking--Congresses About this subjectopen_in_new 183 records
183 records
Automatic tracking--Data processing--Digital techniques--Congresses 3 records
3 records
Automatic tracking--Digital techniques--Congresses 6 records
6 records
Automatic tracking--Law and legislation--United States 4 records
4 records
Automatic tracking--Mathematical models--Congresses 2 records
2 records
Automatic tracking--Mathematics 6 records
6 records
Automatic typewriters About this subjectopen_in_new 1 record
Broader term (in subject list):
  1. Typewriters (424 records)
1 record

The University of Michigan Library aims to describe library materials in a way that respects the people and communities who create, use, and are represented in our collections. Report harmful or offensive language anonymously through our metadata feedback form. More information at Remediation of Harmful Language.
Give feedback about this pageopen_in_new