Note on calculi for a three-valued logic for logic programming
dc.contributor.author | Baaz, Matthias | |
dc.contributor.author | Zach, Richard | |
dc.date.accessioned | 2022-07-08T23:27:34Z | |
dc.date.available | 2022-07-08T23:27:34Z | |
dc.date.issued | 1992 | |
dc.description | Bulletin of the EATCS 48 (1992), pp. 157-164 | en_US |
dc.identifier.citation | Baaz, M., & Zach, R. (1992). Note on calculi for a three-valued logic for logic programming. BULLETIN-EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE, 48, 157-157. | en_US |
dc.identifier.doi | http://dx.doi.org/10.11575/PRISM/39881 | |
dc.identifier.uri | http://hdl.handle.net/1880/114811 | |
dc.language.iso | eng | en_US |
dc.publisher.department | Philosophy | en_US |
dc.publisher.faculty | Arts | en_US |
dc.publisher.hasversion | publishedVersion | en_US |
dc.publisher.institution | University of Calgary | en_US |
dc.rights | Unless otherwise indicated, this material is protected by copyright and has been made available with authorization from the copyright owner. You may use this material in any way that is permitted by the Copyright Act or through licensing that has been assigned to the document. For uses that are not allowable under copyright legislation or licensing, you are required to seek permission. | en_US |
dc.title | Note on calculi for a three-valued logic for logic programming | en_US |
dc.type | journal article | en_US |
ucalgary.item.requestcopy | true | en_US |
Files
Original bundle
1 - 1 of 1
Loading...
- Name:
- Baaz and Zach - 1992 - Note on calculi for a three-valued logic for logic programming.pdf
- Size:
- 180.31 KB
- Format:
- Adobe Portable Document Format
- Description:
License bundle
1 - 1 of 1
No Thumbnail Available
- Name:
- license.txt
- Size:
- 1.92 KB
- Format:
- Item-specific license agreed upon to submission
- Description: