Cover Image

Higher order logic theorem proving and its applications : proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications--HOL '92 /

The HOL system is a higher order logic theorem proving system implemented at Edinburgh University, Cambridge University and INRIA. Its many applications, from the verification of hardware designs at all levels to the verification of programs and communication protocols are considered in depth in thi...

Full description

Bibliographic Details
Corporate Authors: IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications Leuven, Belgium, ScienceDirect (Online service), Interuniversity Micro-Electronics Center, Commission of the European Communities
Other Authors: Claesen, Luc J. M., Gordon, Michael J. C., 1948-
Format: Conference Proceeding eBook
Language:English
Published: Amsterdam ; New York : North-Holland, 1993.
Series:IFIP transactions. Computer science and technology ; A-20.
Subjects:
Automatic theorem proving > Congresses.
Logic, Symbolic and mathematical > Congresses.
Théorèmes > Démonstration automatique > Congrès.
Logique symbolique et mathématique > Congrès.
COMPUTERS > Computer Literacy.
COMPUTERS > Computer Science.
COMPUTERS > Data Processing.
COMPUTERS > Hardware > General.
COMPUTERS > Information Technology.
COMPUTERS > Machine Theory.
COMPUTERS > Reference.
Automatic theorem proving
Logic, Symbolic and mathematical
Programmatuurtechniek.
Logica.
Bewijstheorie.
Induction (logique) > Congrès.
HOL > Higher Order Logic > Type theory and variables > Computer hardware modelling > Microprocessor specification > VHDL > Program verification > Hardware description language semantics > Hardware verification methodologies
higher order logic theorum proving
HOL
IFIP
higher order logic
Electronic books.
Congress
proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congrès.
Online Access:Connect to the full text of this electronic book

Internet

Connect to the full text of this electronic book

Available Online

Holdings details from Available Online
Call Number: QA76.9.A96 I34 1992
 
Call Number Status Get It
QA76.9.A96 I34 1992 Available