Matches in Library of Congress for { <http://lccn.loc.gov/91031377> ?p ?o. }
Showing items 1 to 19 of
19
with 100 items per page.
- 91031377 contributor B6385346.
- 91031377 created "c1991.".
- 91031377 date "1991".
- 91031377 date "c1991.".
- 91031377 dateCopyrighted "c1991.".
- 91031377 description "Includes bibliographical references and index.".
- 91031377 extent "xi, 365 p. :".
- 91031377 identifier "0792314093 (HB : acid free paper)".
- 91031377 isPartOf "Automated reasoning series ; v. 1".
- 91031377 issued "1991".
- 91031377 issued "c1991.".
- 91031377 language "eng".
- 91031377 publisher "Dordrecht ; Boston : Kluwer Academic Publishers,".
- 91031377 subject "006.3 20".
- 91031377 subject "Artificial intelligence.".
- 91031377 subject "Automatic theorem proving.".
- 91031377 subject "QA76.9.A96 A92 1991".
- 91031377 title "Automated reasoning : essays in honor of Woody Bledsoe / edited by Robert S. Boyer.".
- 91031377 type "text".