Skip to main content

Tableau-based theorem proving for a conditional logic

Resource type
Thesis
Thesis type
(Thesis) M.Sc.
Date created
1987
Authors/Contributors
Author: Groeneboer, Christine
Copyright statement
Copyright is held by the author.
Permissions
The author has not granted permission for the file to be printed nor for the text to be copied and pasted. If you would like a printable copy of this thesis, please contact summit-permissions@sfu.ca.
Scholarly level
Graduate student (Masters)
Subject
Conditionals (Logic).
File organization (Computer science)
Language
English
Member of collection
Computing Science Theses
Download file Size
b15027442.pdf 3.56 MB

Views & downloads - as of June 2023

Views: 0
Downloads: 0