Matches in Library of Congress for { <http://lccn.loc.gov/87020773> ?p ?o. }
Showing items 1 to 21 of
21
with 100 items per page.
- 87020773 contributor B5402308.
- 87020773 contributor B5402309.
- 87020773 created "c1987.".
- 87020773 date "1987".
- 87020773 date "c1987.".
- 87020773 dateCopyrighted "c1987.".
- 87020773 description "Bibliography: p. [121]-125.".
- 87020773 extent "iv, 125 p. :".
- 87020773 identifier "0387182179 (U.S. : pbk.)".
- 87020773 isPartOf "Lecture notes in computer science ; 271".
- 87020773 issued "1987".
- 87020773 issued "c1987.".
- 87020773 language "eng".
- 87020773 publisher "Berlin ; New York : Springer-Verlag,".
- 87020773 subject "511.3 19".
- 87020773 subject "Automatic theorem proving.".
- 87020773 subject "Computer algorithms.".
- 87020773 subject "Logic programming.".
- 87020773 subject "QA76.9.A96 S62 1987".
- 87020773 title "From logic design to logic programming : theorem proving techniques and P-functions / Dominique Snyers, André Thayse.".
- 87020773 type "text".