Matches in Library of Congress for { <http://lccn.loc.gov/94003447> ?p ?o. }
Showing items 1 to 23 of
23
with 100 items per page.
- 94003447 contributor B7161206.
- 94003447 contributor B7161207.
- 94003447 created "c1994.".
- 94003447 date "1994".
- 94003447 date "c1994.".
- 94003447 dateCopyrighted "c1994.".
- 94003447 description "Includes bibliographical references.".
- 94003447 extent "344 p. :".
- 94003447 identifier "0387582339 (New York : acid-free paper)".
- 94003447 identifier "3540582339 (Berlin : acid-free paper)".
- 94003447 identifier 94003447-d.html.
- 94003447 isPartOf "Lecture notes in computer science ; 816".
- 94003447 issued "1994".
- 94003447 issued "c1994.".
- 94003447 language "eng".
- 94003447 publisher "Berlin ; New York : Springer-Verlag,".
- 94003447 subject "005.1/01/5113 20".
- 94003447 subject "Algebra Congresses.".
- 94003447 subject "Logic, Symbolic and mathematical Congresses.".
- 94003447 subject "QA267 .I5785 1994".
- 94003447 subject "Rewriting systems (Computer science) Congresses.".
- 94003447 title "Higher-order algebra, logic, and term rewriting : first international workshop, HOA '93, Amsterdam The Netherlands, September 23-24, 1993 : selected papers / Jan Heering ... [et al.], eds.".
- 94003447 type "text".