Matches in Library of Congress for { <http://lccn.loc.gov/2008942733> ?p ?o. }
Showing items 1 to 24 of
24
with 100 items per page.
- 2008942733 contributor B11391274.
- 2008942733 created "c2009.".
- 2008942733 date "2009".
- 2008942733 date "c2009.".
- 2008942733 dateCopyrighted "c2009.".
- 2008942733 description "Includes bibliographical references and indexes.".
- 2008942733 extent "xiii, 966 p. :".
- 2008942733 identifier "9781586039295".
- 2008942733 isPartOf "Frontiers in artificial intelligence and applications, 0922-6389 ; v. 185".
- 2008942733 issued "2009".
- 2008942733 issued "c2009.".
- 2008942733 language "eng".
- 2008942733 publisher "Amsterdam, The Netherlands ; Washington, DC ; IOS Press,".
- 2008942733 subject "Algebra, Boolean Congresses.".
- 2008942733 subject "Algorithmus. swd".
- 2008942733 subject "Anwendung. swd".
- 2008942733 subject "Berechnungskomplexität. swd".
- 2008942733 subject "Computer algorithms Congresses.".
- 2008942733 subject "Decision making Congresses.".
- 2008942733 subject "Erfüllbarkeitsproblem. swd".
- 2008942733 subject "Propositional calculus Congresses.".
- 2008942733 subject "QA9.3 .H36 2009".
- 2008942733 title "Handbook of satisfiability / edited by Armin Biere ... [et al.].".
- 2008942733 type "text".