Formal Methods and Certainty: The Case of Computational Logic Inc.
dc.contributor.author
Peláez, Eloína
dc.date.accessioned
2026-05-05T07:34:47Z
dc.date.issued
1994
dc.description.abstract
N/A
dc.identifier.isbn
1-872287-58-1
dc.identifier.uri
https://era.ed.ac.uk/handle/1842/44657
dc.identifier.uri
https://doi.org/10.7488/era/7172
dc.language.iso
en
dc.publisher
Research Centre for Social Science / University of Edinburgh
dc.relation.ispartofseries
51
dc.subject
methods
dc.subject
computational logic inc
dc.subject
certainty
dc.title
Formal Methods and Certainty: The Case of Computational Logic Inc.
dc.type
Working Paper
Files
Original bundle
1 - 1 of 1
- Name:
- PICT Working Paper No. 51 - 1994_E. Pelaez_The Case of Computational Logic Inc.pdf
- Size:
- 14.26 MB
- Format:
- Adobe Portable Document Format
This item appears in the following Collection(s)