Matches in Library of Congress for { <http://lccn.loc.gov/82104577> ?p ?o. }
Showing items 1 to 18 of
18
with 100 items per page.
- 82104577 contributor B4218194.
- 82104577 created "1978.".
- 82104577 date "1978".
- 82104577 date "1978.".
- 82104577 dateCopyrighted "1978.".
- 82104577 description "Bibliography: p. 110.".
- 82104577 extent "110 p. :".
- 82104577 isPartOf "Prace IPI PAN ; 319.".
- 82104577 isPartOf "Prace IPI PAN = ICS PAS reports ; 319".
- 82104577 issued "1978".
- 82104577 issued "1978.".
- 82104577 language "pol engrus".
- 82104577 language "pol".
- 82104577 publisher "Warszawa : Instytut Podstaw Informatyki Polskiej Akademii Nauk,".
- 82104577 subject "Automatic theorem proving.".
- 82104577 subject "QA297 .P64 no. 319 QA76.9.A96".
- 82104577 title "Automatyczne dowodzenie twierdzeń z wykorzystaniem zasady rezolucji / Paweł Gburzyński.".
- 82104577 type "text".