Matches in Library of Congress for { <http://lccn.loc.gov/97031142> ?p ?o. }
Showing items 1 to 21 of
21
with 100 items per page.
- 97031142 contributor B8059883.
- 97031142 created "c1998.".
- 97031142 date "1998".
- 97031142 date "c1998.".
- 97031142 dateCopyrighted "c1998.".
- 97031142 description "Includes bibliographical references (p. [163]-181) and index.".
- 97031142 extent "vii, 186 p. ;".
- 97031142 identifier "0817640320".
- 97031142 identifier "3764340320".
- 97031142 isPartOf "Progress in theoretical computer science".
- 97031142 issued "1998".
- 97031142 issued "c1998.".
- 97031142 language "eng".
- 97031142 publisher "Boston : Birkhauser,".
- 97031142 subject "005.13/1 21".
- 97031142 subject "Computer logic.".
- 97031142 subject "Declarative programming.".
- 97031142 subject "Logic, Symbolic and mathematical.".
- 97031142 subject "QA76.9.L63 P74 1998".
- 97031142 title "Solving higher-order equations : from logic to programming / Christian Prehofer.".
- 97031142 type "text".