Formal methods and certainty : the case of Computational Logic Inc. /
Peláez, Eloína.
Edinburgh PICT.
Edinburgh : Research Centre for Social Sciences, University of Edinburgh,
1994.
Includes bibliography.
Computational Logic Inc.
Computer software