Formal Methods and Certainty: The Case of Computational Logic Inc.

Files

PICT Working Paper No. 51 - 1994_E. Pelaez_The Case of Computational Logic Inc.pdf (14.26 MB)

Date

Authors

Peláez, Eloína

Abstract

N/A

URI

https://era.ed.ac.uk/handle/1842/44657
https://doi.org/10.7488/era/7172

This item appears in the following Collection(s)

Edinburgh PICT Working Papers