Matches in Library of Congress for { <http://lccn.loc.gov/2007451538> ?p ?o. }
Showing items 1 to 22 of
22
with 100 items per page.
- 2007451538 alternative "Cooperation in theorem prover networks".
- 2007451538 contributor B10977408.
- 2007451538 created "c2000.".
- 2007451538 date "2000".
- 2007451538 date "c2000.".
- 2007451538 dateCopyrighted "c2000.".
- 2007451538 description "Includes bibliographical references (p. [251]-257) and index.".
- 2007451538 extent "262 p. :".
- 2007451538 identifier "1586031244 (pbk. : IOS Press)".
- 2007451538 identifier "3898382311 (pbk. : Aka)".
- 2007451538 identifier "9783898382311 (pbk. : Aka)".
- 2007451538 isPartOf "DISKI, Dissertationen zur künstlichen Intelligenz, 0941-5769 ; Bd. 231".
- 2007451538 issued "2000".
- 2007451538 issued "c2000.".
- 2007451538 language "eng".
- 2007451538 publisher "Berlin : Infix,".
- 2007451538 subject "Automatic theorem proving.".
- 2007451538 subject "Logic programming.".
- 2007451538 subject "QA76.9.A96 F86 2000".
- 2007451538 title "Cooperation in heterogeneous theorem prover networks / Dirk Fuchs.".
- 2007451538 title "Cooperation in theorem prover networks".
- 2007451538 type "text".