Matches in Library of Congress for { <http://lccn.loc.gov/00037106> ?p ?o. }
Showing items 1 to 21 of
21
with 100 items per page.
- 00037106 contributor B28293.
- 00037106 created "c2000.".
- 00037106 date "2000".
- 00037106 date "c2000.".
- 00037106 dateCopyrighted "c2000.".
- 00037106 description "Includes bibliographical references (p. [317]-324) and index.".
- 00037106 extent "xv, 337 p. ;".
- 00037106 identifier "0792378490 (alk. paper)".
- 00037106 identifier 00037106-d.html.
- 00037106 identifier 00037106-t.html.
- 00037106 isPartOf "Advances in formal methods ; 4".
- 00037106 issued "2000".
- 00037106 issued "c2000.".
- 00037106 language "eng".
- 00037106 publisher "Boston : Kluwer Academic Publishers,".
- 00037106 subject "006.3/3 21".
- 00037106 subject "Computer-aided design.".
- 00037106 subject "Expert systems (Computer science)".
- 00037106 subject "QA76.76.E95 C655 2000".
- 00037106 title "Computer-aided reasoning : ACL2 case studies / edited by Matt Kaufmann, Panagiotis Manolios, J Strother Moore.".
- 00037106 type "text".