Matches in Library of Congress for { <http://lccn.loc.gov/91028684> ?p ?o. }
Showing items 1 to 19 of
19
with 100 items per page.
- 91028684 contributor B6382164.
- 91028684 created "1991.".
- 91028684 date "1991".
- 91028684 date "1991.".
- 91028684 dateCopyrighted "1991.".
- 91028684 description "Includes bibliographical references (p. [167]-175).".
- 91028684 extent "vi, 175 p. :".
- 91028684 identifier "0817635939 (hard : acid-free) :".
- 91028684 identifier "3764335939 (hard : acid-free) :".
- 91028684 isPartOf "Progress in computer science and applied logic ; v. 11".
- 91028684 issued "1991".
- 91028684 issued "1991.".
- 91028684 language "eng".
- 91028684 publisher "Boston : Birkhäuser,".
- 91028684 subject "511.3 20".
- 91028684 subject "Automatic theorem proving.".
- 91028684 subject "QA76.9.A96 S6 1991".
- 91028684 title "A proof theory for general unification / Wayne Snyder.".
- 91028684 type "text".