Matches in Library of Congress for { <http://lccn.loc.gov/2009943096> ?p ?o. }
Showing items 1 to 22 of
22
with 100 items per page.
- 2009943096 contributor B11735680.
- 2009943096 created "c2010.".
- 2009943096 date "2010".
- 2009943096 date "c2010.".
- 2009943096 dateCopyrighted "c2010.".
- 2009943096 description "Includes bibliographical references (p. 193-200).".
- 2009943096 extent "viii, 200 p. :".
- 2009943096 identifier "1607500949 (pbk.)".
- 2009943096 identifier "9781607500940 (pbk.)".
- 2009943096 isPartOf "Frontiers in artificial intelligence and applications ; v. 208.".
- 2009943096 isPartOf "Frontiers in artificial intelligence and applications, 0922-6389 ; v. 208. Dissertations in artificial intelligence".
- 2009943096 isPartOf "Frontiers in artificial intelligence and applications. Dissertations in artificial intelligence.".
- 2009943096 issued "2010".
- 2009943096 issued "c2010.".
- 2009943096 language "eng".
- 2009943096 publisher "Amsterdam ; Washington, DC : IOS Press,".
- 2009943096 subject "511.3 22".
- 2009943096 subject "Logic, Symbolic and mathematical.".
- 2009943096 subject "Proof theory.".
- 2009943096 subject "QA9 .P65 2010".
- 2009943096 title "Conditional and preferential logics : proof methods and theorem proving / Gian Luca Pozzato.".
- 2009943096 type "text".