Theorem proving in classical logic applied within a logic for system specification Marit Holden Publikasjonsdetaljer Journal: Research Report, Department of Informatics, University of Oslo, Wednesday 1. January 1986 Marit Holden Sjefsforsker Du er her: Hjem Publikasjoner Fagartikkel Theorem proving in classical logic applied within a logic for system specification
