Matches in Harvard for { <http://id.lib.harvard.edu/aleph/004457978/catalog> ?p ?o. }
Showing items 1 to 27 of
27
with 100 items per page.
- catalog abstract ""This volume constitutes the refereed proceedings of the 1993 Higher-Order Logic User's Group Workshop, held at the University of British Columbia in August 1993. The workshop was sponsored by the Centre for Integrated Computer System Research. It was the sixth in the series of annual international workshops dedicated to the topic of Higher-Order Logic theorem proving, its usage in the HOL system, and its applications. The volume contains 40 papers, including an invited paper by David Parnas, McMaster University, Canada, entitled "Some theorems we should prove"."--PUBLISHER'S WEBSITE.".
- catalog contributor b6329424.
- catalog contributor b6329425.
- catalog contributor b6329426.
- catalog created "c1994.".
- catalog date "1994".
- catalog date "c1994.".
- catalog dateCopyrighted "c1994.".
- catalog description ""This volume constitutes the refereed proceedings of the 1993 Higher-Order Logic User's Group Workshop, held at the University of British Columbia in August 1993. The workshop was sponsored by the Centre for Integrated Computer System Research. It was the sixth in the series of annual international workshops dedicated to the topic of Higher-Order Logic theorem proving, its usage in the HOL system, and its applications. The volume contains 40 papers, including an invited paper by David Parnas, McMaster University, Canada, entitled "Some theorems we should prove"."--PUBLISHER'S WEBSITE.".
- catalog description "Includes bibliographical references and index.".
- catalog extent "ix, 517 p. :".
- catalog hasFormat "Higher order logic theorem proving and its applications.".
- catalog identifier "0387578269 (New York : acid-free paper)".
- catalog identifier "3540578269 (Berlin : acid-free paper) :".
- catalog isFormatOf "Higher order logic theorem proving and its applications.".
- catalog isPartOf "Lecture notes in computer science ; 780".
- catalog issued "1994".
- catalog issued "c1994.".
- catalog language "eng".
- catalog publisher "Berlin ; New York : Springer-Verlag,".
- catalog relation "Higher order logic theorem proving and its applications.".
- catalog subject "004/.01/5113 20".
- catalog subject "Automatic theorem proving Congresses.".
- catalog subject "QA76.9.A96 H54 1994".
- catalog title "Higher order logic theorem proving and its applications : 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993 : proceedings / Jeffrey J. Joyce, Carl-Johan H. Seger, eds.".
- catalog type "Conference proceedings. fast".
- catalog type "text".