- Library Home /
- Search Collections /
- Open Collections /
- Browse Collections /
- BIRS Workshop Lecture Videos /
- Algebraic Algorithms for the Inference Problem in Propositional...
Open Collections
BIRS Workshop Lecture Videos
Featured Collection
BIRS Workshop Lecture Videos
Algebraic Algorithms for the Inference Problem in Propositional Circumscription Wrona, Michal
Item Metadata
Title |
Algebraic Algorithms for the Inference Problem in Propositional Circumscription
|
Creator | |
Publisher |
Banff International Research Station for Mathematical Innovation and Discovery
|
Date Issued |
2014-11-25
|
Extent |
19 minutes
|
Subject | |
Type | |
File Format |
video/mp4
|
Language |
eng
|
Notes |
Author affiliation: Linköping University
|
Series | |
Date Available |
2015-05-27
|
Provider |
Vancouver : University of British Columbia Library
|
Rights |
Attribution-NonCommercial-NoDerivs 2.5 Canada
|
DOI |
10.14288/1.0044771
|
URI | |
Affiliation | |
Peer Review Status |
Unreviewed
|
Scholarly Level |
Postdoctoral
|
Rights URI | |
Aggregated Source Repository |
DSpace
|
Item Media
Item Citations and Data
Rights
Attribution-NonCommercial-NoDerivs 2.5 Canada
Admin Actions
You are logged in as an administrator and have access to the following item actions:
Re-ingest ItemNote: Re-ingesting will take roughly 5 minutes per item.
Clear Item Cache