Matches in Library of Congress for { <http://lccn.loc.gov/90206366> ?p ?o. }
Showing items 1 to 18 of
18
with 100 items per page.
- 90206366 contributor B6265476.
- 90206366 created "1989.".
- 90206366 date "1989".
- 90206366 date "1989.".
- 90206366 dateCopyrighted "1989.".
- 90206366 description "Includes bibliographical references (p. 106-112).".
- 90206366 extent "116 p. ;".
- 90206366 isPartOf "Prace IPI PAN ; 662.".
- 90206366 isPartOf "Prace IPI PAN648 = ICS PAS reports, 0138-0648 ; 662".
- 90206366 issued "1989".
- 90206366 issued "1989.".
- 90206366 language "pol".
- 90206366 publisher "Warszawa : Instytut Podstaw Informatyki Polskiej Akademii Nauk,".
- 90206366 subject "Automatic theorem proving.".
- 90206366 subject "Proof theory.".
- 90206366 subject "QA297 .P64 no. 662 QA9.54".
- 90206366 title "Zasada rezolucji : teoria, praktyka, kierunki rozwoju / Marek Wójcik.".
- 90206366 type "text".