Automating Recursive Type Definitions in Higher Order LogicReportar como inadecuado




Automating Recursive Type Definitions in Higher Order Logic - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

Reference: Thomas F. Melham, G. Birtwistle ed., P.A. Subrahmanyam ed., (1989). Automating Recursive Type Definitions in Higher Order Logic.Citable link to this page:

 

Automating Recursive Type Definitions in Higher Order Logic

Contributors

G. BirtwistleMore by this contributor

Roleeditor

 

P.A. SubrahmanyamMore by this contributor

Roleeditor

 Bibliographic Details

Host: Current Trends in Hardware Verification and Automated Theorem Provingsee more from them

Issue Date: 1989

pages:341-386Identifiers

Urn: uuid:1b73b4b4-b45f-4190-8df5-7e58a36351da

Isbn: 3-540-96988-8 Item Description

Type: Book; Tiny URL: cs:4717

Relationships





Autor: Thomas F. Melham - - - - Contributors G. Birtwistle More by this contributor - Roleeditor - - - P.A. Subrahmanyam More by this co

Fuente: https://ora.ox.ac.uk/objects/uuid:1b73b4b4-b45f-4190-8df5-7e58a36351da



DESCARGAR PDF




Documentos relacionados