Matches in Library of Congress for { <http://lccn.loc.gov/88136791> ?p ?o. }
Showing items 1 to 18 of
18
with 100 items per page.
- 88136791 contributor B5705888.
- 88136791 created "1987.".
- 88136791 date "1987".
- 88136791 date "1987.".
- 88136791 dateCopyrighted "1987.".
- 88136791 description "Bibliography: p. [173].".
- 88136791 extent "vi, 179 p. :".
- 88136791 identifier "3486205099".
- 88136791 issued "1987".
- 88136791 issued "1987.".
- 88136791 language "ger".
- 88136791 publisher "München : R. Oldenbourg,".
- 88136791 subject "511.3 20".
- 88136791 subject "Artificial intelligence.".
- 88136791 subject "Automatic theorem proving.".
- 88136791 subject "QA76.9.A96 D43 1987".
- 88136791 title "Deduktionssysteme : Automatisierung des logischen Denkens / herausgegeben von K.H. Bläsius und H.-J. Bürckert ; mit Beiträgen von K.H. Bläsius ... [et al.].".
- 88136791 type "text".