Matches in Library of Congress for { <http://lccn.loc.gov/71554857> ?p ?o. }
Showing items 1 to 16 of
16
with 100 items per page.
- 71554857 contributor B2047249.
- 71554857 created "1970.".
- 71554857 date "1970".
- 71554857 date "1970.".
- 71554857 dateCopyrighted "1970.".
- 71554857 description "Bibliography: p. [119]-120.".
- 71554857 extent "xii, 120 p.".
- 71554857 isPartOf "Monographies d'informatique, 7".
- 71554857 issued "1970".
- 71554857 issued "1970.".
- 71554857 language "fre".
- 71554857 publisher "Paris, Dunod,".
- 71554857 subject "Automatic theorem proving.".
- 71554857 subject "Q335 .P56".
- 71554857 title "Un programme de démonstration de théorèmes.".
- 71554857 type "text".