Matches in Library of Congress for { <http://lccn.loc.gov/99165303> ?p ?o. }
Showing items 1 to 18 of
18
with 100 items per page.
- 99165303 contributor B8721347.
- 99165303 created "c1997.".
- 99165303 date "1997".
- 99165303 date "c1997.".
- 99165303 dateCopyrighted "c1997.".
- 99165303 description "Includes bibliographical references (p. 106-119) and index.".
- 99165303 extent "ii, 122 p.;".
- 99165303 identifier "9150612174".
- 99165303 isPartOf "Uppsala theses in computing science, 0283-359X ; 29".
- 99165303 issued "1997".
- 99165303 issued "c1997.".
- 99165303 language "eng".
- 99165303 publisher "Uppsala, Sweden : Uppsala University, Computing Science Dept.,".
- 99165303 subject "004/.01/5113 21".
- 99165303 subject "Automatic theorem proving.".
- 99165303 subject "QA76.9.A96 V43 1997".
- 99165303 title "On simultaneous rigid E-unification / Margus Veanes.".
- 99165303 type "text".