Matches in Library of Congress for { <http://lccn.loc.gov/00102853> ?p ?o. }
Showing items 1 to 21 of
21
with 100 items per page.
- 00102853 contributor B69040.
- 00102853 created "c2000.".
- 00102853 date "2000".
- 00102853 date "c2000.".
- 00102853 dateCopyrighted "c2000.".
- 00102853 description "Includes bibliographical references and index.".
- 00102853 extent "v, 561 p. :".
- 00102853 identifier "1586030612 (IOS Press)".
- 00102853 identifier 00102853.html.
- 00102853 isPartOf "Frontiers in artificial intelligence and applications, 0922-6389 ; v. 63".
- 00102853 issued "2000".
- 00102853 issued "c2000.".
- 00102853 language "eng".
- 00102853 publisher "Amsterdam ; Washington, DC : IOS Press,".
- 00102853 subject "511.3 21".
- 00102853 subject "Computer algorithms.".
- 00102853 subject "Decision making.".
- 00102853 subject "Propositional calculus.".
- 00102853 subject "QA9.3 .S36 2000".
- 00102853 title "Sat2000 : highlights of satisfiability research in the year 2000 / edited by Ian Gent, Hans van Maaren and Toby Walsh.".
- 00102853 type "text".