Matches in Library of Congress for { <http://lccn.loc.gov/96022590> ?p ?o. }
Showing items 1 to 25 of
25
with 100 items per page.
- 96022590 contributor B7761867.
- 96022590 contributor B7761868.
- 96022590 created "c1996.".
- 96022590 date "1996".
- 96022590 date "c1996.".
- 96022590 dateCopyrighted "c1996.".
- 96022590 description "Includes bibliographical references and index.".
- 96022590 extent "xv, 719 p. :".
- 96022590 identifier "3540613137 (alk. paper)".
- 96022590 identifier 96022590-d.html.
- 96022590 isPartOf "Lecture notes in computer science ; 1085. Lecture notes in artificial intelligence".
- 96022590 isPartOf "Lecture notes in computer science ; 1085.".
- 96022590 isPartOf "Lecture notes in computer science. Lecture notes in artificial intelligence.".
- 96022590 issued "1996".
- 96022590 issued "c1996.".
- 96022590 language "eng".
- 96022590 publisher "Berlin ; New York : Springer,".
- 96022590 subject "006.3 20".
- 96022590 subject "Artificial intelligence Congresses.".
- 96022590 subject "Automatic theorem proving Congresses.".
- 96022590 subject "Practical reason Congresses.".
- 96022590 subject "QA76.9.A96 I575 1996".
- 96022590 subject "Reasoning Congresses.".
- 96022590 title "Practical reasoning : International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3-7, 1996 : proceedings / Dov M. Gabbay, Hans Jürgen Ohlbach (eds.).".
- 96022590 type "text".