Matches in Library of Congress for { <http://lccn.loc.gov/74153858%2F%2Fr923> ?p ?o. }
Showing items 1 to 20 of
20
with 100 items per page.
- 74153858%2F%2Fr923 contributor B2443333.
- 74153858%2F%2Fr923 created "1966]".
- 74153858%2F%2Fr923 date "1966".
- 74153858%2F%2Fr923 date "1966]".
- 74153858%2F%2Fr923 dateCopyrighted "1966]".
- 74153858%2F%2Fr923 description "Bibliography: p. 173-175.".
- 74153858%2F%2Fr923 description "Thesis--Massachusetts Institute of Technology.".
- 74153858%2F%2Fr923 extent "178 p.".
- 74153858%2F%2Fr923 issued "1966".
- 74153858%2F%2Fr923 issued "1966]".
- 74153858%2F%2Fr923 language "eng".
- 74153858%2F%2Fr923 publisher "[Cambridge, Massachusetts Institute of Technology, Project MAC,".
- 74153858%2F%2Fr923 subject "512/.22/0285425".
- 74153858%2F%2Fr923 subject "ADEPT.".
- 74153858%2F%2Fr923 subject "Automatic theorem proving.".
- 74153858%2F%2Fr923 subject "Group theory Data processing.".
- 74153858%2F%2Fr923 subject "Heuristic programming.".
- 74153858%2F%2Fr923 subject "QA171 .N67".
- 74153858%2F%2Fr923 title "ADEPT : a heuristic program for proving theorems of group theory.".
- 74153858%2F%2Fr923 type "text".