Publisher: Springer; 1994 edition (June 13, 2008)
Format: PDF / Kindle / ePub
Size: 5.2 MB
Downloadable formats: PDF
This quantity constitutes the refereed court cases of the 1993 Higher-Order good judgment User's workforce Workshop, held on the collage of British Columbia in August 1993. The workshop used to be subsidized via the Centre for built-in laptop method learn. It used to be the 6th within the sequence of annual overseas workshops devoted to the subject of Higher-Order good judgment theorem proving, its utilization within the HOL process, and its functions. the quantity includes forty papers, together with an invited paper through David Parnas, McMaster collage, Canada, entitled "Some theorems we must always prove".