Matches in Library of Congress for { <http://lccn.loc.gov/96037978> ?p ?o. }
Showing items 1 to 20 of
20
with 100 items per page.
- 96037978 contributor B7779957.
- 96037978 created "c1997.".
- 96037978 date "1997".
- 96037978 date "c1997.".
- 96037978 dateCopyrighted "c1997.".
- 96037978 description "Includes bibliographical references (p. 207-211) and index.".
- 96037978 extent "xii, 214 p. :".
- 96037978 identifier "3540761217 (hardback : alk. paper)".
- 96037978 isPartOf "CPHC/BCS distinguished dissertations".
- 96037978 issued "1997".
- 96037978 issued "c1997.".
- 96037978 language "eng".
- 96037978 publisher "Berlin ; New York : Springer,".
- 96037978 subject "511.3 21".
- 96037978 subject "Automatic theorem proving.".
- 96037978 subject "Functional programming (Computer science)".
- 96037978 subject "QA76.9.A96 H64 1997".
- 96037978 subject "Type theory.".
- 96037978 title "Extensional constructs in intensional type theory / Martin Hofmann.".
- 96037978 type "text".