Matches in Library of Congress for { <http://lccn.loc.gov/93229830> ?p ?o. }
Showing items 1 to 19 of
19
with 100 items per page.
- 93229830 contributor B7093645.
- 93229830 created "c1992.".
- 93229830 date "1992".
- 93229830 date "c1992.".
- 93229830 dateCopyrighted "c1992.".
- 93229830 description "Dissertation--Universität Bonn, 1992.".
- 93229830 extent "iii, 297 p. :".
- 93229830 identifier "3929037211".
- 93229830 isPartOf "Dissertationen zur künstlichen Intelligenz, 0941-5769 ; Bd. 21".
- 93229830 issued "1992".
- 93229830 issued "c1992.".
- 93229830 language "ger".
- 93229830 publisher "Sankt Augustin : Infix,".
- 93229830 subject "Artificial intelligence.".
- 93229830 subject "Automatic theorem proving.".
- 93229830 subject "Parallel programming (Computer science)".
- 93229830 subject "QA76.642 .A87 1992".
- 93229830 title "Parallele Modelle für Deduktionssysteme / von Ulrich Assmann.".
- 93229830 type "text".