![](https://www.pdfsearch.io/img/e5782485983c735cfcf9f61b572b22f2.jpg) Date: 2011-01-28 11:35:49
| | What is a Theory ? Gilles Dowek INRIA-Rocquencourt, BP 105, 78153 Le Chesnay Cedex, France. http://logical.inria.fr/˜dowek Abstract. Deduction modulo is a way to express a theory using computation
Document is deleted from original location. Use the Download Button below to download from the Web Archive.Download Document from Web Archive File Size: 151,06 KB
|