Matches in Library of Congress for { <http://lccn.loc.gov/91015861> ?p ?o. }
Showing items 1 to 23 of
23
with 100 items per page.
- 91015861 alternative "4th Higher Order Workshop, Banff 1990.".
- 91015861 alternative "Fourth Higher Order Workshop, Banff 1990.".
- 91015861 contributor B6366897.
- 91015861 contributor B6366898.
- 91015861 created "c1991.".
- 91015861 date "1991".
- 91015861 date "c1991.".
- 91015861 dateCopyrighted "c1991.".
- 91015861 description "Includes bibliographical references and index.".
- 91015861 extent "x, 283 p. :".
- 91015861 identifier "0387196609 (alk. paper)".
- 91015861 isPartOf "Workshops in computing".
- 91015861 issued "1991".
- 91015861 issued "c1991.".
- 91015861 language "eng".
- 91015861 publisher "London ; New York : Springer-Verlag,".
- 91015861 subject "004/.35 20".
- 91015861 subject "Automatic theorem proving Congresses.".
- 91015861 subject "Parallel processing (Electronic computers) Congresses.".
- 91015861 subject "Programming languages (Electronic computers) Congresses.".
- 91015861 subject "QA76.58 .H54 1990".
- 91015861 title "IV Higher Order Workshop, Banff 1990 : proceedings of the IV Higher Order Workshop, 10-14 September 1990, Banff, Canada / Graham Birtwistle (ed.).".
- 91015861 type "text".