Matches in Library of Congress for { <http://lccn.loc.gov/2001515640> ?p ?o. }
Showing items 1 to 21 of
21
with 100 items per page.
- 2001515640 contributor B9168384.
- 2001515640 created "2000.".
- 2001515640 date "2000".
- 2001515640 date "2000.".
- 2001515640 dateCopyrighted "2000.".
- 2001515640 description "Includes bibliographical references (p. 113-[118]).".
- 2001515640 extent "121 p. :".
- 2001515640 identifier "8322610238".
- 2001515640 isPartOf "Prace naukowe Uniwersytetu Śląskiego w Katowicach, 0208-6336 ; nr. 1901".
- 2001515640 issued "2000".
- 2001515640 issued "2000.".
- 2001515640 language "eng".
- 2001515640 publisher "Katowice : Wydawn. Uniwersytetu Śląskiego,".
- 2001515640 subject "511.3 21".
- 2001515640 subject "Algorithms.".
- 2001515640 subject "Automatic theorem proving.".
- 2001515640 subject "Formal languages.".
- 2001515640 subject "Logic, Symbolic and mathematical.".
- 2001515640 subject "QA267.3 .B54 2000".
- 2001515640 title "Algorithmic structural completeness and a retrieval system for proving theorems in algorithmic theories / Andrzej Biela.".
- 2001515640 type "text".