Matches in Library of Congress for { <http://lccn.loc.gov/98129040> ?p ?o. }
Showing items 1 to 19 of
19
with 100 items per page.
- 98129040 contributor B8429996.
- 98129040 contributor B8429997.
- 98129040 created "1997.".
- 98129040 date "1997".
- 98129040 date "1997.".
- 98129040 dateCopyrighted "1997.".
- 98129040 description "Includes bibliographical references and index.".
- 98129040 extent "vi, 167 p. :".
- 98129040 identifier "352805574X".
- 98129040 isPartOf "Computational intelligence".
- 98129040 issued "1997".
- 98129040 issued "1997.".
- 98129040 language "eng".
- 98129040 publisher "Braunschweig : Vieweg,".
- 98129040 subject "511.3 21".
- 98129040 subject "Automatic theorem proving.".
- 98129040 subject "QA76.9.A96 P553 1997".
- 98129040 title "The efficiency of theorem proving strategies : a comparative and asymptotic analysis / David A. Plaisted, Yunshan Zhu.".
- 98129040 type "text".