Matches in Library of Congress for { <http://lccn.loc.gov/98018124%2F%2Fr982> ?p ?o. }
Showing items 1 to 22 of
22
with 100 items per page.
- 98018124%2F%2Fr982 contributor B8337453.
- 98018124%2F%2Fr982 contributor B8337454.
- 98018124%2F%2Fr982 created "c1998.".
- 98018124%2F%2Fr982 date "1998".
- 98018124%2F%2Fr982 date "c1998.".
- 98018124%2F%2Fr982 dateCopyrighted "c1998.".
- 98018124%2F%2Fr982 description "Includes bibliographical references and index.".
- 98018124%2F%2Fr982 extent "x, 324 p. :".
- 98018124%2F%2Fr982 identifier "3540644067 (pbk. : alk. paper)".
- 98018124%2F%2Fr982 isPartOf "Lecture notes in computer science ; 1397.".
- 98018124%2F%2Fr982 isPartOf "Lecture notes in computer science Lecture notes in artificial intelligence.".
- 98018124%2F%2Fr982 isPartOf "Lecture notes in computer science, 0302-9743 ; 1397. Lecture notes in artificial intelligence".
- 98018124%2F%2Fr982 issued "1998".
- 98018124%2F%2Fr982 issued "c1998.".
- 98018124%2F%2Fr982 language "eng".
- 98018124%2F%2Fr982 publisher "Berlin ; New York : Springer,".
- 98018124%2F%2Fr982 subject "006.3/33 21".
- 98018124%2F%2Fr982 subject "Artificial intelligence Congresses.".
- 98018124%2F%2Fr982 subject "Automatic theorem proving Congresses.".
- 98018124%2F%2Fr982 subject "QA76.9.A96 T34 1998".
- 98018124%2F%2Fr982 title "Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX'98, Oisterwijk, The Netherlands, May 5-8, 1998 : proceedings / Harrie de Swart, ed.".
- 98018124%2F%2Fr982 type "text".