Matches in Library of Congress for { <http://lccn.loc.gov/92203472> ?p ?o. }
Showing items 1 to 20 of
20
with 100 items per page.
- 92203472 contributor B6788861.
- 92203472 created "c1991.".
- 92203472 date "1991".
- 92203472 date "c1991.".
- 92203472 dateCopyrighted "c1991.".
- 92203472 description "Includes bibliographical references (p. 96-100).".
- 92203472 description "Thesis (doctoral)--Universität Karlsruhe, 1991.".
- 92203472 extent "107 p. :".
- 92203472 identifier "3631440014".
- 92203472 isPartOf "Europäische Hochschulschriften. Reihe XLI, Informatik ; Bd. 6.".
- 92203472 isPartOf "Europäische Hochschulschriften. Reihe XLI, Informatik, 0930-7311 ; Bd. 6 = Publications universitaires européennes. Série XLI, Informatique ; vol. 6 = European university studies. Series XLI, Informatic ; vol. 6".
- 92203472 issued "1991".
- 92203472 issued "c1991.".
- 92203472 language "ger".
- 92203472 publisher "Frankfurt am Main ; New York : P. Lang,".
- 92203472 subject "511.3 20".
- 92203472 subject "Automatic theorem proving.".
- 92203472 subject "QA76.9.A96 L5 1991".
- 92203472 title "Tableau, Tableauresolution, und Tableaugraphresolution : ein neuer Weg zur automatischen Deduktion / Wanlin Li.".
- 92203472 type "text".