Matches in Library of Congress for { <http://lccn.loc.gov/96051916> ?p ?o. }
Showing items 1 to 17 of
17
with 100 items per page.
- 96051916 contributor B7795113.
- 96051916 created "c1997.".
- 96051916 date "1997".
- 96051916 date "c1997.".
- 96051916 dateCopyrighted "c1997.".
- 96051916 description "Includes bibliographical references and index.".
- 96051916 extent "viii, 247 p. ;".
- 96051916 identifier "0262220555 (alk. paper)".
- 96051916 issued "1997".
- 96051916 issued "c1997.".
- 96051916 language "eng".
- 96051916 publisher "Cambridge, Mass. : MIT Press,".
- 96051916 subject "511.3 21".
- 96051916 subject "Automatic theorem proving.".
- 96051916 subject "QA76.9.A96 A918 1997".
- 96051916 title "Automated reasoning and its applications : essays in honor of Larry Wos / edited by Robert Veroff, with Gail W. Pieper.".
- 96051916 type "text".