Show simple item record

Circular Proofs for Propositional Gentzen Calculus

dc.rights.licenseCC-BY-NC-ND
dc.contributor.advisorIemhoff, R.
dc.contributor.authorKasteel, S.R. van
dc.date.accessioned2015-10-16T17:00:37Z
dc.date.available2015-10-16T17:00:37Z
dc.date.issued2015
dc.identifier.urihttps://studenttheses.uu.nl/handle/20.500.12932/28311
dc.description.sponsorshipUtrecht University
dc.format.extent367354
dc.format.mimetypeapplication/pdf
dc.language.isoen
dc.titleCircular Proofs for Propositional Gentzen Calculus
dc.type.contentBachelor Thesis
dc.rights.accessrightsOpen Access
dc.subject.courseuuKunstmatige Intelligentie


Files in this item

Thumbnail
Name:
scriptie.pdf
Size:
358.7Kb
Format:
PDF
View/Open

This item appears in the following Collection(s)

Show simple item record