conference-publication.

The Resource Higher order logic theorem proving and its applications : 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993 : proceedings

Label: Higher order logic theorem proving and its applications : 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993 : proceedings

Title remainder: 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993 : proceedings

Statement of responsibility: Jeffrey J. Joyce, Carl-Johan H. Seger, eds

Contributor

Subject

Genre

Language: eng

Summary: "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

Member of

Lecture notes in computer science, 780

Action: digitized

Cataloging source: OCLCE

Dewey number: 004/.01/5113

Illustrations: illustrations

Index: index present

LC call number: QA76.9.A96

LC item number: H54 1994

Literary form: non fiction

Nature of contents

dictionaries
bibliography

Series statement: Lecture notes in computer science

Series volume: 780

Context

Context of Higher order logic theorem proving and its applications : 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993 : proceedings

Context

Work of