ERA

Download the full-sized PDF of Extract answers in circumscription and logic programs: a one-staged proof-theoretic frameworkDownload the full-sized PDF

Analytics

Share

Permanent link (DOI): https://doi.org/10.7939/R3BV7B424

Download

Export to: EndNote  |  Zotero  |  Mendeley

Communities

This file is in the following communities:

Graduate Studies and Research, Faculty of

Collections

This file is in the following collections:

Theses and Dissertations

Extract answers in circumscription and logic programs: a one-staged proof-theoretic framework Open Access

Descriptions

Other title
Subject/Keyword
Type of item
Thesis
Degree grantor
University of Alberta
Author or creator
Wang, Chenghui
Supervisor and department
Examining committee member and department
Department
Department of Computing Science
Specialization

Date accepted
1996
Graduation date

Degree
Doctor of Philosophy
Degree level
Doctoral
Abstract

Language
English
DOI
doi:10.7939/R3BV7B424
Rights
Permission is hereby granted to the University of Alberta Libraries to reproduce single copies of this thesis and to lend or sell such copies for private, scholarly or scientific research purposes only. The author reserves all other publication and other rights in association with the copyright in the thesis and, except as herein before provided, neither the thesis nor any substantial portion thereof may be printed or otherwise reproduced in any material form whatsoever without the author's prior written permission.
Citation for previous publication

File Details

Date Uploaded
Date Modified
2012-11-09T18:35:34.851+00:00
Audit Status
Audits have not yet been run on this file.
Characterization
File format: pdf (Portable Document Format)
Mime type: application/pdf
File size: 5918446
Last modified: 2015:10:18 13:15:10-06:00
Filename: NN10650.pdf
Original checksum: 2121667826597aaf3df6c9b9dbcafb56
Well formed: true
Valid: true
Page count: 116
Activity of users you follow
User Activity Date