Publisher: Springer; 1994 edition (June 13, 2008)
Format: PDF / Kindle / ePub
Size: 7.6 MB
Downloadable formats: PDF
This quantity provides the court cases of the seventh foreign Workshop on larger Order common sense Theorem Proving and Its functions held in Valetta, Malta in September 1994.Besides three invited papers, the court cases includes 27 refereed papers chosen from forty two submissions. In overall the ebook offers many new effects through top researchers engaged on the layout and functions of theorem provers for better order good judgment. specifically, this ebook supplies an intensive state of the art document on purposes of the HOL process, some of the most general theorem provers for larger order good judgment.