Matches in Library of Congress for { <http://lccn.loc.gov/85143882%2F%2Fr972> ?p ?o. }
Showing items 1 to 20 of
20
with 100 items per page.
- 85143882%2F%2Fr972 contributor B4967470.
- 85143882%2F%2Fr972 created "1984.".
- 85143882%2F%2Fr972 date "1984".
- 85143882%2F%2Fr972 date "1984.".
- 85143882%2F%2Fr972 dateCopyrighted "1984.".
- 85143882%2F%2Fr972 description "Bibliography: p. 182-193.".
- 85143882%2F%2Fr972 extent "193 p. :".
- 85143882%2F%2Fr972 identifier "3853695841 (pbk.) :".
- 85143882%2F%2Fr972 isPartOf "Dissertationen der Johannes Kepler-Universität Linz ; 49".
- 85143882%2F%2Fr972 issued "1984".
- 85143882%2F%2Fr972 issued "1984.".
- 85143882%2F%2Fr972 language "eng".
- 85143882%2F%2Fr972 publisher "Wien : VWGÖ,".
- 85143882%2F%2Fr972 subject "512 19".
- 85143882%2F%2Fr972 subject "Algebra, Universal Data processing.".
- 85143882%2F%2Fr972 subject "Automatic theorem proving.".
- 85143882%2F%2Fr972 subject "Computer algorithms.".
- 85143882%2F%2Fr972 subject "QA251 .W677 1984".
- 85143882%2F%2Fr972 title "The Church Rosser property in computer algebra and special theorem proving : an investigation of critical pair, completion algorithms / Franz Winkler.".
- 85143882%2F%2Fr972 type "text".