Theorem proving in classical logic applied within a logic for system specification

Holden, Marit

January 01, 1986

SAMBA

• Published date: January 01, 1986
• Journal: Research report. Department of Informatics, University of Oslo
• Title: Theorem proving in classical logic applied within a logic for system specification
• Author(s): Holden, Marit
• Report number: 99