Matches in Library of Congress for { <http://lccn.loc.gov/2007440965> ?p ?o. }
Showing items 1 to 21 of
21
with 100 items per page.
- 2007440965 contributor B10967472.
- 2007440965 created "2000.".
- 2007440965 date "2000.".
- 2007440965 date "2007".
- 2007440965 dateCopyrighted "2000.".
- 2007440965 description "Includes bibliographical references (p. [164]-175) and index.".
- 2007440965 description "Thesis (Dr. rer. nat.)--Technische Universität München, 2000.".
- 2007440965 extent "xiii, 182 p. :".
- 2007440965 identifier "1586031503 (IOS Press)".
- 2007440965 identifier "3898382303 (AKA)".
- 2007440965 identifier 2007440965.html.
- 2007440965 isPartOf "Dissertationen zur künstlichen Intelligenz, 0941-5769 ; 230".
- 2007440965 issued "2000.".
- 2007440965 issued "2007".
- 2007440965 language "eng".
- 2007440965 publisher "Berlin : AKA,".
- 2007440965 subject "Automatic theorem proving.".
- 2007440965 subject "Heuristic programming.".
- 2007440965 subject "QA76.9.A96 S48 2007".
- 2007440965 title "Leaning search control knowlledge for equational deduction / Stephan Schulz.".
- 2007440965 type "text".