Matches in Library of Congress for { <http://lccn.loc.gov/00038636> ?p ?o. }
Showing items 1 to 23 of
23
with 100 items per page.
- 00038636 contributor B30093.
- 00038636 contributor B30094.
- 00038636 created "c2000.".
- 00038636 date "2000".
- 00038636 date "c2000.".
- 00038636 dateCopyrighted "c2000.".
- 00038636 description "Includes bibliographical references (p. [257]-259) and index.".
- 00038636 extent "xv, 270 p. ;".
- 00038636 identifier "0792377443 (alk. paper)".
- 00038636 identifier 00038636-d.html.
- 00038636 identifier 00038636-t.html.
- 00038636 isPartOf "Advances in formal methods ; 3".
- 00038636 issued "2000".
- 00038636 issued "c2000.".
- 00038636 language "eng".
- 00038636 publisher "Boston : Kluwer Academic Publishers,".
- 00038636 subject "004/.01/51 21".
- 00038636 subject "Expert systems (Computer science)".
- 00038636 subject "Formal methods (Computer science)".
- 00038636 subject "QA76.9.F67 K38 2000".
- 00038636 subject "Sotware engineering.".
- 00038636 title "Computer-aided reasoning : an approach / by Matt Kaufmann, Panagiotis Manolios, J Strother Moore.".
- 00038636 type "text".